Revert "lib: remove share_history"
This reverts commit 23760228908d14a4644718869d5ebfb7b0dde6a7.
Fixes #9430
Diff
1diff --git a/lib/history.zsh b/lib/history.zsh
2index 1f0f3cc2441e1ce8c13d91d13d59ce72b4598538..7940769049f3031337fc54d9ce3c33ab4339b323 100644
3--- a/lib/history.zsh
4+++ b/lib/history.zsh
5@@ -37,3 +37,4 @@ setopt hist_expire_dups_first # delete duplicates first when HISTFILE size excee
6 setopt hist_ignore_dups # ignore duplicated commands history list
7 setopt hist_ignore_space # ignore commands that start with space
8 setopt hist_verify # show command with history expansion to user before running it
9+setopt share_history # share command history data