diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2016-10-31T16·09+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2016-10-31T16·09+0100 |
| commit | 18b7363a699c0b5a4bf59d2b320dfc2b84dc4e67 (patch) | |
| tree | f6cb48fb5020020538633199b8246949baa55530 /doc/manual/command-ref/conf-file.xml | |
| parent | c4969aebaf195500cbf97fa29b6e05377b3970cc (diff) | |
Support optional sandbox paths
For example, you can now set build-sandbox-paths = /dev/nvidiactl? to specify that /dev/nvidiactl should only be mounted in the sandbox if it exists in the host filesystem. This is useful e.g. for EC2 images that should support both CUDA and non-CUDA instances.
Diffstat (limited to 'doc/manual/command-ref/conf-file.xml')
| -rw-r--r-- | doc/manual/command-ref/conf-file.xml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/manual/command-ref/conf-file.xml b/doc/manual/command-ref/conf-file.xml index 69295fafce84..d2c9145e0505 100644 --- a/doc/manual/command-ref/conf-file.xml +++ b/doc/manual/command-ref/conf-file.xml @@ -268,7 +268,12 @@ flag, e.g. <literal>--option gc-keep-outputs false</literal>.</para> to mount a path in a different location in the sandbox; for instance, <literal>/bin=/nix-bin</literal> will mount the path <literal>/nix-bin</literal> as <literal>/bin</literal> inside the - sandbox.</para> + sandbox. If <replaceable>source</replaceable> is followed by + <literal>?</literal>, then it is not an error if + <replaceable>source</replaceable> does not exist; for example, + <literal>/dev/nvidiactl?</literal> specifies that + <filename>/dev/nvidiactl</filename> will only be mounted in the + sandbox if it exists in the host filesystem.</para> <para>Depending on how Nix was built, the default value for this option may be empty or provide <filename>/bin/sh</filename> as a |