diff --git a/bashrc b/bashrc index ded8a4ac..0e23f46f 100644 --- a/bashrc +++ b/bashrc @@ -26,6 +26,9 @@ fi # If not running interactively, don't do anything [ -z "$PS1" ] && return +# save history +export PROMPT_COMMAND='history -a' + # don't put duplicate lines in the history. See bash(1) for more options # ... or force ignoredups and ignorespace HISTCONTROL=ignoredups