fcd0747bc123d2c0775f8d757f0135067905ac0d

Author
Benoit GALATI <benoit.galati@gmail.com>
Committer
GitHub <noreply@github.com>
Date

Message

core: remove inc_append_history option (#8048)

Diff

 1diff --git a/lib/history.zsh b/lib/history.zsh
 2index 52e45bf4ca7776c3415110f8678ccd2dbe451071..0f04de21567e139f8986c6385994d57c2dd907b4 100644
 3--- a/lib/history.zsh
 4+++ b/lib/history.zsh
 5@@ -36,5 +36,4 @@ setopt hist_expire_dups_first # delete duplicates first when HISTFILE size excee
 6 setopt hist_ignore_dups       # ignore duplicated commands history list
 7 setopt hist_ignore_space      # ignore commands that start with space
 8 setopt hist_verify            # show command with history expansion to user before running it
 9-setopt inc_append_history     # add commands to HISTFILE in order of execution
10 setopt share_history          # share command history data