diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-31T12·28+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-31T12·28+0200 |
commit | c2154d4c8422ddc1c201d503bb52edff854af2ad (patch) | |
tree | 46b01c4081ef1ba5c16bf3b739218cbdbee1ebd6 /src/libstore/misc.cc | |
parent | 7d4a7136dba7ceb3d5b080b092eb76d23e2bb549 (diff) |
Rename a few configuration options
In particular, drop the "build-" and "gc-" prefixes which are pointless. So now you can say nix build --no-sandbox instead of nix build --no-build-use-sandbox
Diffstat (limited to 'src/libstore/misc.cc')
0 files changed, 0 insertions, 0 deletions