1
0
mirror of https://github.com/robbyrussell/oh-my-zsh.git synced 2025-12-06 07:20:40 +01:00

Merge pull request #750 from blueyed/history-drop-default-append-history

`setopt append_history` is not necessary.
This commit is contained in:
Robby Russell
2014-03-22 13:59:19 -07:00

View File

@@ -5,7 +5,6 @@ fi
HISTSIZE=10000 HISTSIZE=10000
SAVEHIST=10000 SAVEHIST=10000
setopt append_history
setopt extended_history setopt extended_history
setopt hist_expire_dups_first setopt hist_expire_dups_first
setopt hist_ignore_dups # ignore duplication command history list setopt hist_ignore_dups # ignore duplication command history list