aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Ryder <tom@sanctum.geek.nz>2012-06-05 03:45:02 +1200
committerTom Ryder <tom@sanctum.geek.nz>2012-06-05 03:45:02 +1200
commite71d1ce735ba3c3e8aced287861cb661712f66dd (patch)
tree29d1f49d158b64efedf1acce1deba5ef8288afd9
parentActually I like this in general (diff)
downloaddotfiles-e71d1ce735ba3c3e8aced287861cb661712f66dd.tar.gz
dotfiles-e71d1ce735ba3c3e8aced287861cb661712f66dd.zip
Second attempt at shared Bash history
-rw-r--r--bash/bashrc3
1 files changed, 3 insertions, 0 deletions
diff --git a/bash/bashrc b/bash/bashrc
index 74c55684..0ea971e8 100644
--- a/bash/bashrc
+++ b/bash/bashrc
@@ -14,6 +14,9 @@ HISTCONTROL=ignoreboth
# Keep the times of the commands in history.
HISTTIMEFORMAT='%F %T '
+# Read in and submit history on each newline.
+PROMPT_COMMAND="history -n; history -a; ${PROMPT_COMMAND}"
+
# Don't check for mail all the time, it's irritating.
unset MAILCHECK