dot/zshrc: Tweak history handling.

[profile] / dot / zshrc

diff --git a/dot/zshrc b/dot/zshrc
index 3ed1bd9..7993025 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