3fc812afc9af75e49a8f99bad3ada41672547503
- Author
- Göran Gustafsson <gustafsson.g@gmail.com>
- Committer
- Göran Gustafsson <gustafsson.g@gmail.com>
- Date
Message
Removed duplicate setting and sorted the remaining
Diff
1diff --git a/lib/history.zsh b/lib/history.zsh
2index ca6f57079aef8e953154aa176159c8635e333228..876936b87888a60d1fc7ece2cdfa8dcdd6d9d8c8 100644
3--- a/lib/history.zsh
4+++ b/lib/history.zsh
5@@ -3,14 +3,11 @@ HISTFILE=$HOME/.zsh_history
6 HISTSIZE=10000
7 SAVEHIST=10000
8
9-setopt hist_ignore_dups # ignore duplication command history list
10-setopt share_history # share command history data
11-
12-setopt hist_verify
13-setopt inc_append_history
14+setopt append_history
15 setopt extended_history
16 setopt hist_expire_dups_first
17+setopt hist_ignore_dups # ignore duplication command history list
18 setopt hist_ignore_space
19-
20-setopt SHARE_HISTORY
21-setopt APPEND_HISTORY
22+setopt hist_verify
23+setopt inc_append_history
24+setopt share_history # share command history data