diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-04-08T12·08+0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-04-08T12·08+0200 |
| commit | 2b6c8ef40121fdc418551e9b780bb909477c9a3c (patch) | |
| tree | c28330e1b5ca2a2572dae3ac54d280f272bb5934 | |
| parent | 76cbf55a6d8953e393ba39896ccbb0948bac96d6 (diff) | |
nix-shell --pure: Keep the user's $PAGER
| -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 187371d6e192..2f95e7475584 100755 --- a/scripts/nix-build.in +++ b/scripts/nix-build.in @@ -208,7 +208,7 @@ foreach my $expr (@exprs) { # Set the environment. if ($pure) { foreach my $name (keys %ENV) { - next if grep { $_ eq $name } ("HOME", "USER", "LOGNAME", "DISPLAY", "PATH", "TERM", "IN_NIX_SHELL", "TZ"); + next if grep { $_ eq $name } ("HOME", "USER", "LOGNAME", "DISPLAY", "PATH", "TERM", "IN_NIX_SHELL", "TZ", "PAGER"); delete $ENV{$name}; } # NixOS hack: prevent /etc/bashrc from sourcing /etc/profile. |