15 lines
372 B
Plaintext
15 lines
372 B
Plaintext
#
|
|
# History options
|
|
#
|
|
|
|
setopt EXTENDED_HISTORY # add a timestamp and the duration of each command
|
|
setopt SHARE_HISTORY # _all_ zsh sessions share the same history files
|
|
setopt HIST_IGNORE_ALL_DUPS # ignores duplications
|
|
setopt HIST_IGNORE_SPACE
|
|
|
|
HISTFILE=$ZDOTDIR/histories/$(hostname)
|
|
HISTSIZE=1000000
|
|
SAVEHIST=1000000
|
|
|
|
export HISTFILE HISTSIZE SAVEHIST
|