diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2012-04-04 10:30:41 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2012-04-04 10:30:41 +1200 |
commit | ba193bcf87f0ba9e2f01f73977b1b38549293f17 (patch) | |
tree | 2c6658a5d1a36564ae2c60bd683ac0a61bbb17ec /bash | |
parent | Simpler syntax for editor existence check. (diff) | |
download | dotfiles-ba193bcf87f0ba9e2f01f73977b1b38549293f17.tar.gz dotfiles-ba193bcf87f0ba9e2f01f73977b1b38549293f17.zip |
Removed history appender/yanker.
On some of the older boxes I care for this was causing very nasty
infinite loops leading to my history filling up extremely fast with
duplicate command lines. I really like this functionality, but sadly
I can't risk crashing servers with it.
Diffstat (limited to 'bash')
-rw-r--r-- | bash/bashrc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/bash/bashrc b/bash/bashrc index 740af645..4b1eb7b5 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -11,9 +11,6 @@ HISTCONTROL=ignoreboth # Keep the times of the commands in history. HISTTIMEFORMAT='%F %T ' -# Add all commands to the history immediately. -PROMPT_COMMAND='history -n;history -a' - # Allow my home directory as a base for relative cd calls. CDPATH=.:~ |