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 /.dir-locals.el | |
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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions