# history HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history HISTSIZE=10000 SAVEHIST=$HISTSIZE setopt hist_ignore_space # add leading space to hide from history setopt hist_ignore_dups # deduplicate commands run twice in a row setopt hist_ignore_all_dups # deduplicate entire history file setopt hist_reduce_blanks # trim setopt hist_verify # confirm before executing setopt share_history # import all of history in new sessions # search all of history, or display just the last 16 like the builtin `history` function h () { [ $# -eq 0 ] &&\ fc -l ||\ fc -l 0 | grep "$*" }