blob: eb04ef9be0757693139705d8f1b423ad05186f0d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# history
HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history
HISTSIZE=10000
SAVEHIST=$HISTSIZE
# setopt extended_history # write timestamp (redundant with share_history?)
# setopt inc_append_history # write always, not just at end of session (redundant and exclusive with share_history)
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_verify # confirm before executing
setopt share_history # import all of history in new sessions
alias h='fc -l 0 | grep' # search all of history
|
