# 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