From 3d063647d1131a0ebae1b59849f7bb2d810574e5 Mon Sep 17 00:00:00 2001
From: Jer Noble <jer.noble@apple.com>
Date: Tue, 15 Jan 2013 18:09:26 -0800
Subject: [PATCH 1/1] Add live appending history settings.

---
 bash_login | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/bash_login b/bash_login
index f2e8a46..72a9ca9 100644
--- a/bash_login
+++ b/bash_login
@@ -21,3 +21,11 @@ export EDITOR=/usr/bin/vim
 export LSCOLORS=gxfxcxdxbxegedabagacad
 
 source ~/.dotfiles/webkit_login
+
+# Preserve bash history in multiple terminal windows
+# http://unix.stackexchange.com/questions/1288/preserve-bash-history-in-multiple-terminal-windows
+export HISTSIZE=10000
+export HISTFILESIZE=10000
+export HISTCONTROL=ignoredups:erasedups
+shopt -s histappend
+export PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"
-- 
2.40.1