diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-08-31 14:28:25 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-31 14:28:25 +0200 |
| commit | c2154d4c8422ddc1c201d503bb52edff854af2ad (patch) | |
| tree | 46b01c4081ef1ba5c16bf3b739218cbdbee1ebd6 /tests/dump-db.sh | |
| 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 'tests/dump-db.sh')
0 files changed, 0 insertions, 0 deletions