History to ignore dupes and to append to instead of overwrite history file.
David Blume commited on 2019-09-10 23:27:46
Showing 1 changed files, with 3 additions and 0 deletions.
- .bash_profile b8335b9..2bd5aa7
| ... | ... |
@@ -7,3 +7,6 @@ if [[ -n $ITERM_PROFILE && -z $SSH_CLIENT && |
| 7 | 7 |
$(uname -s) == Darwin* && -f "${HOME}/tips.txt" ]]; then
|
| 8 | 8 |
cat "${HOME}/tips.txt"
|
| 9 | 9 |
fi |
| 10 |
+# https://unix.stackexchange.com/questions/1288/preserve-bash-history-in-multiple-terminal-windows |
|
| 11 |
+HISTCONTROL=ignoredups:erasedups |
|
| 12 |
+shopt -s histappend |
|
| 10 | 13 |