# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1341750273 -10800
# Node ID f02dbcb71260bddd45c5125e514f67e796249a54
# Parent  3860547a559482a5515a488c5c19000877067559
Technique to share command history across Bash secctions.

diff -r 3860547a5594 -r f02dbcb71260 .bashrc
--- a/.bashrc	Sun Jul 08 15:19:43 2012 +0300
+++ b/.bashrc	Sun Jul 08 15:24:33 2012 +0300
@@ -52,6 +52,13 @@
 shopt -s histreedit
 shopt -s histverify
 
+# Technique to share command history across Bash secctions.
+# Just run:
+#   history -n
+# to reload history.
+# This setting automatically update history file, but ignore HISTCONTROL=erasedups settings.
+# PROMPT_COMMAND='history -a'
+
 # Minor errors in the spelling of a directory component in a cd command will
 # be corrected.
 shopt -s cdspell