From 28ed2880c766eb5a360354fb71d597dbc07abaa0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Cornell=C3=A0?= <marc.cornella@live.com>
Date: Mon, 9 Nov 2020 12:00:06 +0100
Subject: [PATCH] Revert "lib: remove share_history"

This reverts commit 23760228908d14a4644718869d5ebfb7b0dde6a7.

Fixes #9430
---
 lib/history.zsh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/history.zsh b/lib/history.zsh
index 1f0f3cc24..794076904 100644
--- a/lib/history.zsh
+++ b/lib/history.zsh
@@ -37,3 +37,4 @@ setopt hist_expire_dups_first # delete duplicates first when HISTFILE size excee
 setopt hist_ignore_dups       # ignore duplicated commands history list
 setopt hist_ignore_space      # ignore commands that start with space
 setopt hist_verify            # show command with history expansion to user before running it
+setopt share_history          # share command history data