diff options
| author | Robby Russell <robby@planetargon.com> | 2009-08-28 11:14:17 -0700 |
|---|---|---|
| committer | Robby Russell <robby@planetargon.com> | 2009-08-28 11:14:17 -0700 |
| commit | 5da20b9dddb1f7a9110675ded5df59c4c3ed1b83 (patch) | |
| tree | 142b4940f34ce07495c407692a0c299c18df7461 /history.zsh | |
| parent | e20401e04e057a39c228dbb99dda68ec7fa4235a (diff) | |
| download | zsh-5da20b9dddb1f7a9110675ded5df59c4c3ed1b83.tar.gz zsh-5da20b9dddb1f7a9110675ded5df59c4c3ed1b83.tar.bz2 zsh-5da20b9dddb1f7a9110675ded5df59c4c3ed1b83.zip | |
Importing initial files after reorganizing stuff.
Diffstat (limited to 'history.zsh')
| -rw-r--r-- | history.zsh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/history.zsh b/history.zsh new file mode 100644 index 000000000..a093aa27c --- /dev/null +++ b/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 + |