29/64: nix-shell --pure: Keep the user's $PAGER

[Ludovic Courtès]

civodul pushed a commit to branch nix
in repository guix.

commit 2b6c8ef40121fdc418551e9b780bb909477c9a3c
Author: Eelco Dolstra <address@hidden>
Date:   Tue Apr 8 14:08:57 2014 +0200

    nix-shell --pure: Keep the user's $PAGER
---
 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 187371d..2f95e74 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.