.bashrc: Re-enable history saving

Signed-off-by: Alan Orth <alan.orth@gmail.com>
This commit is contained in:
Alan Orth 2014-05-17 22:49:47 +03:00
parent 066f5a99a2
commit 0d7b9ac425
Signed by: alanorth
GPG Key ID: 0FB860CC9C45B1B9

View File

@ -14,12 +14,13 @@ PS1='[\u@\h: \w]\$ '
export EDITOR=/usr/bin/vim export EDITOR=/usr/bin/vim
export PAGER=/usr/bin/less export PAGER=/usr/bin/less
# sequence to set the terminal title to "user@hostname: pwd" # sequence to set the terminal title to "user@hostname: pwd"
TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"' #TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
PROMPT_COMMAND="$TITLEBAR"
# ignore commands starting with space and duplicates # ignore commands starting with space and duplicates
HISTCONTROL=ignoreboth HISTCONTROL=ignoreboth
# ignore common commands in bash history # ignore common commands in bash history
HISTIGNORE='ls:bg:fg:history' HISTIGNORE='ls:bg:fg:history'
# save history after every command (and set term title)
PROMPT_COMMAND="history -a; history -c; history -r; $TITLEBAR"
# If a private bin directory exists, add it to PATH # If a private bin directory exists, add it to PATH
[[ -d ~/bin ]] && PATH="$PATH:~/bin" [[ -d ~/bin ]] && PATH="$PATH:~/bin"