From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 8 Aug 2017 00:50:58 +0000 (+0100)
Subject: dot/zshrc: Tweak history handling.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/e3c70a77162e9bf91288f9960b5e3cea76036dc5

dot/zshrc: Tweak history handling.

Keep shell histories synchronized.  Elide duplicate entries.
---

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