diff options
| author | Matthew Bauer <mjbauer95@gmail.com> | 2019-10-09T03·12-0400 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-10-09T14·23+0200 |
| commit | 9f698c4530f893141850fad4f99d7e377a372bb0 (patch) | |
| tree | e77f4413afd7425ca52c2ce8cffcce206f53dd38 /doc/manual/command-ref/conf-file.xml | |
| parent | 1b78bbb4144c6ad4ef15f7a10fd9d479e06df5da (diff) | |
Handle empty sandbox_shell
Previously, SANDBOX_SHELL was set to empty when unavailable. This caused issues when actually generating the sandbox. Instead, just set SANDBOX_SHELL when --with-sandbox-shell= is non-empty. Alternative implementation to https://github.com/NixOS/nix/pull/3038. (cherry picked from commit 199e888785bd23073e44e56f6c74b95dc7c10ffa)
Diffstat (limited to 'doc/manual/command-ref/conf-file.xml')
0 files changed, 0 insertions, 0 deletions