diff options
| author | Robby Russell <robby@planetargon.com> | 2009-09-23 07:43:36 -0700 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2009-09-23 07:43:36 -0700 |
| commit | 8debd097fbea09032c27b2c8d69d8430d7ea0551 (patch) | |
| tree | 116ff17dfe29a5906b9a631efa1dd52b8165ec3d /lib/history.zsh | |
| parent | 2759586aae5bea9ec38bb16403381c73589776ed (diff) | |
| download | zsh-8debd097fbea09032c27b2c8d69d8430d7ea0551.tar.gz zsh-8debd097fbea09032c27b2c8d69d8430d7ea0551.tar.bz2 zsh-8debd097fbea09032c27b2c8d69d8430d7ea0551.zip | |
Moving all zsh config options into a lib/ subdirectory to make way for some upcoming changes to directory structure and configuration options
Diffstat (limited to 'lib/history.zsh')
| -rw-r--r-- | lib/history.zsh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/lib/history.zsh b/lib/history.zsh new file mode 100644 index 000000000..a093aa27c --- /dev/null +++ b/lib/history.zsh @@ -0,0 +1,15 @@ +# History stuff. +setopt HIST_VERIFY +setopt INC_APPEND_HISTORY +setopt SHARE_HISTORY +setopt EXTENDED_HISTORY +setopt HIST_IGNORE_DUPS + +## Command history configuration +# +HISTFILE=$ZSH/log/.zsh_history +HISTSIZE=2500 +SAVEHIST=2500 +setopt hist_ignore_dups # ignore duplication command history list +setopt share_history # share command history data + |