diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2012-06-05 03:45:02 +1200 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2012-06-05 03:45:02 +1200 |
commit | e71d1ce735ba3c3e8aced287861cb661712f66dd (patch) | |
tree | 29d1f49d158b64efedf1acce1deba5ef8288afd9 | |
parent | Actually I like this in general (diff) | |
download | dotfiles-e71d1ce735ba3c3e8aced287861cb661712f66dd.tar.gz dotfiles-e71d1ce735ba3c3e8aced287861cb661712f66dd.zip |
Second attempt at shared Bash history
-rw-r--r-- | bash/bashrc | 3 |
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 |