556ee4198f26731c85bfdd40ee1a2edfee755cb5

Author
James Cox <james@imaj.es>
Committer
James Cox <james@imaj.es>
Date

Message

tidy up history

Diff

 1diff --git a/history.zsh b/history.zsh
 2index b2c8c0361935aa182e9205484a1fa77efee7f46b..356b6498b32cd4c9f512e605e1205f3b21d92a56 100644
 3--- a/history.zsh
 4+++ b/history.zsh
 5@@ -1,10 +1,3 @@
 6-# History stuff.
 7-setopt HIST_VERIFY
 8-setopt INC_APPEND_HISTORY
 9-setopt SHARE_HISTORY
10-setopt EXTENDED_HISTORY
11-setopt HIST_IGNORE_DUPS
12-
13 ## Command history configuration
14 #
15 HISTFILE=$HOME/.zsh_history
16@@ -12,3 +5,8 @@ HISTSIZE=5000
17 SAVEHIST=5000
18 setopt hist_ignore_dups # ignore duplication command history list
19 setopt share_history # share command history data
20+
21+setopt hist_verify
22+setopt inc_append_history
23+setopt extended_history
24+setopt hist_expire_dups_first