| ... | ... |
@@ -1,10 +1,3 @@ |
| 1 |
-# History stuff. |
|
| 2 |
-setopt HIST_VERIFY |
|
| 3 |
-setopt INC_APPEND_HISTORY |
|
| 4 |
-setopt SHARE_HISTORY |
|
| 5 |
-setopt EXTENDED_HISTORY |
|
| 6 |
-setopt HIST_IGNORE_DUPS |
|
| 7 |
- |
|
| 8 | 1 |
## Command history configuration |
| 9 | 2 |
# |
| 10 | 3 |
HISTFILE=$HOME/.zsh_history |
| ... | ... |
@@ -12,3 +5,8 @@ HISTSIZE=5000 |
| 12 | 12 |
SAVEHIST=5000 |
| 13 | 13 |
setopt hist_ignore_dups # ignore duplication command history list |
| 14 | 14 |
setopt share_history # share command history data |
| 15 |
+ |
|
| 16 |
+setopt hist_verify |
|
| 17 |
+setopt inc_append_history |
|
| 18 |
+setopt extended_history |
|
| 19 |
+setopt hist_expire_dups_first |