diff options
-rw-r--r-- | pkgs/shells/bash/default.nix | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/pkgs/shells/bash/default.nix b/pkgs/shells/bash/default.nix index e49e7ef5da4..2fa229692eb 100644 --- a/pkgs/shells/bash/default.nix +++ b/pkgs/shells/bash/default.nix @@ -21,7 +21,12 @@ stdenv.mkDerivation rec { inherit sha256; }; - outputs = [ "out" "doc" ]; + outputs = if (!interactive) # conditional to avoid mass rebuild ATM + then [ "out" "doc" ] + else [ "out" "doc" "info" ]; + + # the man pages are small and useful enough + outputMan = if interactive then "out" else null; NIX_CFLAGS_COMPILE = '' -DSYS_BASHRC="/etc/bashrc" |