From e7f44a2532e68e69735cec2712250b86d3e74807 Mon Sep 17 00:00:00 2001
From: Colin Patrick McCabe <cmccabe@alumni.cmu.edu>
Date: Mon, 5 Dec 2011 15:30:00 -0800
Subject: [PATCH] .bashrc: use better bash history options

Signed-off-by: Colin McCabe <cmccabe@alumni.cmu.edu>
---
 .bashrc |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/.bashrc b/.bashrc
index bb5e384..6a2f2d9 100644
--- 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
-- 
1.6.6.rc1.39.g9a42