Revert "lib: remove share_history"

This reverts commit 2376022890.

Fixes #9430
This commit is contained in:
Marc Cornellà 2020-11-09 12:00:06 +01:00
parent 3e6ee85a16
commit 28ed2880c7

View file

@ -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_dups # ignore duplicated commands history list
setopt hist_ignore_space # ignore commands that start with space setopt hist_ignore_space # ignore commands that start with space
setopt hist_verify # show command with history expansion to user before running it setopt hist_verify # show command with history expansion to user before running it
setopt share_history # share command history data