diff --git a/.bashrc b/.bashrc index acfc10d..841fd46 100644 --- a/.bashrc +++ b/.bashrc @@ -14,12 +14,13 @@ PS1='[\u@\h: \w]\$ ' 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"' -PROMPT_COMMAND="$TITLEBAR" +#TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"' # ignore commands starting with space and duplicates HISTCONTROL=ignoreboth # ignore common commands in bash 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 [[ -d ~/bin ]] && PATH="$PATH:~/bin"