2019-07-24 05:33:28 +00:00
|
|
|
#!/bin/zsh
|
|
|
|
|
|
2019-02-18 16:55:05 +00:00
|
|
|
### Set ZSH History defaults
|
|
|
|
|
|
|
|
|
|
# set some history options
|
|
|
|
|
setopt append_history
|
|
|
|
|
setopt extended_history
|
|
|
|
|
setopt hist_expire_dups_first
|
|
|
|
|
setopt hist_ignore_all_dups
|
|
|
|
|
setopt hist_ignore_dups
|
|
|
|
|
setopt hist_ignore_space
|
|
|
|
|
setopt hist_reduce_blanks
|
|
|
|
|
setopt hist_save_no_dups
|
|
|
|
|
setopt hist_verify
|
|
|
|
|
|
|
|
|
|
# Share your history across all your terminal windows
|
|
|
|
|
setopt share_history
|
|
|
|
|
#setopt noclobber
|
|
|
|
|
|
|
|
|
|
# set some more options
|
|
|
|
|
setopt pushd_ignore_dups
|
|
|
|
|
#setopt pushd_silent
|
|
|
|
|
|
|
|
|
|
# Keep a ton of history.
|
2019-07-24 05:33:28 +00:00
|
|
|
export HISTSIZE=100000
|
|
|
|
|
export SAVEHIST=100000
|
2019-02-18 16:55:05 +00:00
|
|
|
HISTFILE=~/.zsh_history
|
|
|
|
|
export HISTIGNORE="ls:cd:cd -:pwd:exit:date:* --help"
|
