From b6f05ca9e173e9ff7a207b7bf6d91e56c15b71bf Mon Sep 17 00:00:00 2001
From: Thomas Ruoff <ThomasRuoff@gmail.com>
Date: Sun, 31 Dec 2017 15:32:30 +0100
Subject: [PATCH] enable shared history in zsh

---
 zsh/configs/history.zsh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zsh/configs/history.zsh b/zsh/configs/history.zsh
index 1d5e184..c4680d2 100644
--- a/zsh/configs/history.zsh
+++ b/zsh/configs/history.zsh
@@ -1,4 +1,4 @@
-setopt hist_ignore_all_dups inc_append_history
+setopt hist_ignore_all_dups inc_append_history share_history
 HISTFILE=~/.zhistory
 HISTSIZE=4096
 SAVEHIST=4096