diff options
| author | Marc Cornellà <marc.cornella@live.com> | 2020-10-10 12:38:17 +0200 |
|---|---|---|
| committer | Marc Cornellà <marc.cornella@live.com> | 2020-10-10 12:38:17 +0200 |
| commit | 23760228908d14a4644718869d5ebfb7b0dde6a7 (patch) | |
| tree | 8fbcf2127ef132fb1f7dc3d47853d22b319c1162 | |
| parent | 75ae0e905fcb928555df122ec1ec29a8a546130d (diff) | |
| download | zsh-23760228908d14a4644718869d5ebfb7b0dde6a7.tar.gz zsh-23760228908d14a4644718869d5ebfb7b0dde6a7.tar.bz2 zsh-23760228908d14a4644718869d5ebfb7b0dde6a7.zip | |
lib: remove share_history
Related: #2537, #9324
| -rw-r--r-- | lib/history.zsh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index 0ee8cfe7a..8d922a30b 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -36,4 +36,3 @@ 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 |