blob: 3bbe525a033bfcf49656c9694c67836de9b9d71a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
# history
HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history
HISTSIZE=10000
SAVEHIST=$HISTSIZE
setopt extended_history # write timestamp
setopt inc_append_history # write always, not just at end of session
setopt hist_ignore_space # add leading space to hide from history
setopt hist_ignore_dups # deduplicate commands run twice in a row
setopt hist_verify # confirm before executing
|
