sandboxing_preference

The preferred sandboxing setting. Individual rules may specify different preferences. Dune will try to utilize a setting satisfying both conditions.

(sandboxing_preference <setting> <setting> ...)

where each <setting> can be one of:

• none disables sandboxing.

• hardlink uses hard links for sandboxing. This is the default under Linux.

• copy copies files for sandboxing. This is the default under Windows.

• symlink uses symbolic links for sandboxing.