.bashrc: Disable aggressive history rewriting

Doesn't quite work the way you'd expect, need to find time to play
with this more.

Signed-off-by: Alan Orth <alan.orth@gmail.com>
This commit is contained in:
Alan Orth 2014-04-30 10:52:17 +03:00
parent 772f2a96e2
commit e2e131a370
Signed by: alanorth
GPG Key ID: 0FB860CC9C45B1B9

View File

@ -15,8 +15,7 @@ export EDITOR=/usr/bin/vim
export PAGER=/usr/bin/less
# sequence to set the terminal title to "user@hostname: pwd"
TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
# Aggressive read/write of history after every command
PROMPT_COMMAND="$TITLEBAR; history -a; history -n"
PROMPT_COMMAND="$TITLEBAR"
# don't add commands starting with space to the history
HISTCONTROL=ignorespace