diff options
| author | James Cox <james@imaj.es> | 2009-09-23 16:14:04 +0100 |
|---|---|---|
| committer | James Cox <james@imaj.es> | 2009-09-23 16:14:04 +0100 |
| commit | 8a8a7bafa037ef253ce582a182c77a74b76ac309 (patch) | |
| tree | a176b2db801a33fc84bc4d2d8ff8021aa32d954b /lib/history.zsh | |
| parent | 71b1c60a8d2386a2a836d76fd57a507a0c9a3935 (diff) | |
| parent | ff545e6934b70945e778495f613d41a43681b662 (diff) | |
| download | zsh-8a8a7bafa037ef253ce582a182c77a74b76ac309.tar.gz zsh-8a8a7bafa037ef253ce582a182c77a74b76ac309.tar.bz2 zsh-8a8a7bafa037ef253ce582a182c77a74b76ac309.zip | |
merge upstream
Diffstat (limited to 'lib/history.zsh')
| -rw-r--r-- | lib/history.zsh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/history.zsh b/lib/history.zsh new file mode 100644 index 000000000..527c32762 --- /dev/null +++ b/lib/history.zsh @@ -0,0 +1,12 @@ +## Command history configuration +HISTFILE=$HOME/.zsh_history +HISTSIZE=10000 +SAVEHIST=10000 + +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 |