Technique to share command history across Bash secctions.
--- 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