diff options
| author | James Cox <james@imaj.es> | 2009-09-23 00:44:57 +0100 |
|---|---|---|
| committer | James Cox <james@imaj.es> | 2009-09-23 00:44:57 +0100 |
| commit | 556ee4198f26731c85bfdd40ee1a2edfee755cb5 (patch) | |
| tree | a554892cfde4eeb9d6b1966dd81910380421e526 /history.zsh | |
| parent | 8fe67686dba78a273b058f7f7e3d26c286d269f2 (diff) | |
| download | zsh-556ee4198f26731c85bfdd40ee1a2edfee755cb5.tar.gz zsh-556ee4198f26731c85bfdd40ee1a2edfee755cb5.tar.bz2 zsh-556ee4198f26731c85bfdd40ee1a2edfee755cb5.zip | |
tidy up history
Diffstat (limited to 'history.zsh')
| -rw-r--r-- | history.zsh | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/history.zsh b/history.zsh index b2c8c0361..356b6498b 100644 --- a/history.zsh +++ b/history.zsh @@ -1,10 +1,3 @@ -# History stuff. -setopt HIST_VERIFY -setopt INC_APPEND_HISTORY -setopt SHARE_HISTORY -setopt EXTENDED_HISTORY -setopt HIST_IGNORE_DUPS - ## Command history configuration # HISTFILE=$HOME/.zsh_history @@ -12,3 +5,8 @@ HISTSIZE=5000 SAVEHIST=5000 setopt hist_ignore_dups # ignore duplication command history list setopt share_history # share command history data + +setopt hist_verify +setopt inc_append_history +setopt extended_history +setopt hist_expire_dups_first |