.bashrc: use better bash history options

Signed-off-by: Colin McCabe <cmccabe@alumni.cmu.edu>

diff --git a/.bashrc b/.bashrc
index bb5e384..6a2f2d9 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -41,3 +41,9 @@ esac
 
 # Perturb malloc so that we spot bugs quicker!
 export MALLOC_PERTURB_=$(($RANDOM % 255 + 1))
+
+# Do not add lines that begin with a space to the history
+export HISTIGNORE="[ ]*"
+
+# Append history list of current session to HISTFILE
+shopt -s histappend