bash: Disable hashing of command lookups in interactive shells

This just confuses people when (say) using multiple profiles.
Performance benefits for interactive shells are likely to be very
small anyway.
This commit is contained in:
Eelco Dolstra 2013-07-31 14:55:24 +02:00
parent 57c35c94ca
commit 24a44c98d2

View file

@ -102,9 +102,9 @@ in
target = "profile";
}
{ # /etc/bashrc: executed every time a bash starts. Sources
# /etc/profile to ensure that the system environment is
# configured properly.
{ # /etc/bashrc: executed every time an interactive bash
# starts. Sources /etc/profile to ensure that the system
# environment is configured properly.
source = pkgs.substituteAll {
src = ./bashrc.sh;
inherit (cfg) interactiveShellInit;
@ -133,6 +133,9 @@ in
${cfg.promptInit}
${initBashCompletion}
${shellAliases}
# Disable hashing (i.e. caching) of command lookups.
set +h
'';
system.build.binsh = pkgs.bashInteractive;