From 0d7b9ac425b6d407f2bc3e36f42cb91d46a3b21f Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Sat, 17 May 2014 22:49:47 +0300
Subject: [PATCH] .bashrc: Re-enable history saving

Signed-off-by: Alan Orth <alan.orth@gmail.com>
---
 .bashrc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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"