dot/zshrc: Tweak history handling.

Keep shell histories synchronized.  Elide duplicate entries.

diff --git a/dot/zshrc b/dot/zshrc
index 3ed1bd9b7a8873c09f39fc842bd978a40c652a81..799302534a461ac429a1bfc403d7d2aac2d29fa0 100644 (file)
--- a/dot/zshrc
+++ b/dot/zshrc
@@ -114,18 +114,19 @@ HISTFILE=~/.zsh-history
 HISTSIZE=1000
 SAVEHIST=1000
 
-setopt appendhistory
 unsetopt auto_cd
 unsetopt auto_menu
 unsetopt bash_auto_list
 unsetopt beep
 setopt extendedglob
+setopt hist_ignore_all_dups
 setopt ksh_glob
 setopt list_ambiguous
 setopt list_packed
 unsetopt nomatch
 unsetopt menu_complete
 setopt notify
+setopt share_history
 
 zshaddhistory () {
   case "$1" in