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