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 /tests/shell.shebang.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/shell.shebang.sh')
| -rwxr-xr-x | tests/shell.shebang.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/shell.shebang.sh b/tests/shell.shebang.sh index c9a83aaf83dc..a6c4bc945921 100755 --- a/tests/shell.shebang.sh +++ b/tests/shell.shebang.sh @@ -1,4 +1,4 @@ #! @ENV_PROG@ nix-shell -#! nix-shell -I nixpkgs=shell.nix --option build-use-substitutes false +#! nix-shell -I nixpkgs=shell.nix --option use-substitutes false #! nix-shell --pure -i bash -p foo bar echo "$(foo) $(bar) $@" |