diff options
| author | Fabian Schmitthenner <development@schmitthenner.eu> | 2015-12-07T15·47+0000 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-01-05T13·11+0100 |
| commit | 0eb200e569affe89c8850ea993ae0f603f40f742 (patch) | |
| tree | e7337cd37f1fbfe81043d0aada63cf9825e33423 /scripts/nix-build.in | |
| parent | 80ebd60e7ca3c48a19b94ddaeebb23182b703178 (diff) | |
propagate NIX_BUILD_SHELL also in pure builds document NIX_BUILD_SHELL in the nix-shell command documentation
Diffstat (limited to 'scripts/nix-build.in')
| -rwxr-xr-x | scripts/nix-build.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/nix-build.in b/scripts/nix-build.in index ea099532b7cb..b4bb2fc3fe8a 100755 --- a/scripts/nix-build.in +++ b/scripts/nix-build.in @@ -270,7 +270,7 @@ foreach my $expr (@exprs) { my $tmp = $ENV{"TMPDIR"} // $ENV{"XDG_RUNTIME_DIR"} // "/tmp"; if ($pure) { foreach my $name (keys %ENV) { - next if grep { $_ eq $name } ("HOME", "USER", "LOGNAME", "DISPLAY", "PATH", "TERM", "IN_NIX_SHELL", "TZ", "PAGER"); + next if grep { $_ eq $name } ("HOME", "USER", "LOGNAME", "DISPLAY", "PATH", "TERM", "IN_NIX_SHELL", "TZ", "PAGER", "NIX_BUILD_SHELL"); delete $ENV{$name}; } # NixOS hack: prevent /etc/bashrc from sourcing /etc/profile. |