diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2020-10-21 16:57:03 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2020-10-21 16:57:03 -0600 |
| commit | 058885f5263f29f046c96ea2ecf55e6dca3ed321 (patch) | |
| tree | 5aca868fa5f9d16f39baa0c355f6056b5c8ea4da /lib/history.zsh | |
| parent | 1774c426de3c4845e2d606c813c37067b8cf78d7 (diff) | |
| parent | 3b1699b59527ee8095397b9909a37d55689a0481 (diff) | |
| download | zsh-058885f5263f29f046c96ea2ecf55e6dca3ed321.tar.gz zsh-058885f5263f29f046c96ea2ecf55e6dca3ed321.tar.bz2 zsh-058885f5263f29f046c96ea2ecf55e6dca3ed321.zip | |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'lib/history.zsh')
| -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 |