diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2020-11-09 12:00:06 +0100 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2020-11-09 12:00:15 +0100 |
| commit | 28ed2880c766eb5a360354fb71d597dbc07abaa0 (patch) | |
| tree | f6b32feb0885a5566bc51064e02b8f6b80774356 /lib | |
| parent | 3e6ee85a161c8089955c19364728e167025a911d (diff) | |
| download | zsh-28ed2880c766eb5a360354fb71d597dbc07abaa0.tar.gz zsh-28ed2880c766eb5a360354fb71d597dbc07abaa0.tar.bz2 zsh-28ed2880c766eb5a360354fb71d597dbc07abaa0.zip | |
Revert "lib: remove share_history"
This reverts commit 23760228908d14a4644718869d5ebfb7b0dde6a7.
Fixes #9430
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/history.zsh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |