diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2020-05-29 11:01:03 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2020-05-29 11:01:03 -0600 |
| commit | a3be2e4084285d7625e63bfe4b951c58143e3c9c (patch) | |
| tree | a018be4daef44a51b91477f38da514867659c7d6 /lib/history.zsh | |
| parent | 191e14cc7f63c4525a0f66d571416faf9e91a185 (diff) | |
| parent | 93cc3964e2d265ab0571298d69d2eed0a65d13f2 (diff) | |
| download | zsh-a3be2e4084285d7625e63bfe4b951c58143e3c9c.tar.gz zsh-a3be2e4084285d7625e63bfe4b951c58143e3c9c.tar.bz2 zsh-a3be2e4084285d7625e63bfe4b951c58143e3c9c.zip | |
Merge branch 'master' of https://github.com/ohmyzsh/ohmyzsh
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 52e45bf4c..0f04de215 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -36,5 +36,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 inc_append_history # add commands to HISTFILE in order of execution setopt share_history # share command history data |