diff options
Diffstat (limited to 'bash')
| -rw-r--r-- | bash/bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bash/bashrc b/bash/bashrc index caed3242..adac8b2c 100644 --- a/bash/bashrc +++ b/bash/bashrc @@ -14,7 +14,7 @@ HISTCONTROL=ignoreboth # Keep the times of the commands in history. HISTTIMEFORMAT='%F %T ' -# Add history entries directly. +# Add history entries immediately, not on exit. PROMPT_COMMAND="history -a; ${PROMPT_COMMAND}" # Don't check for mail all the time, it's irritating. |