2021-11-06 16:50:38 +00:00
|
|
|
HISTFILE="$ZSH_CACHE_DIR/history"
|
2022-09-08 09:02:01 +00:00
|
|
|
HISTSIZE=100000
|
|
|
|
|
SAVEHIST=500000
|
2018-11-18 15:14:03 +00:00
|
|
|
HISTDUP=erase
|
|
|
|
|
|
2021-11-06 16:50:38 +00:00
|
|
|
[ ! -d "$ZSH_CACHE_DIR" ] && mkdir -p "$ZSH_CACHE_DIR"
|
2019-05-28 19:04:42 +00:00
|
|
|
|
2018-11-18 15:14:03 +00:00
|
|
|
setopt BANG_HIST # Treat the '!' character specially during expansion.
|
|
|
|
|
setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed;command" format.
|
|
|
|
|
setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits.
|
|
|
|
|
setopt SHARE_HISTORY # Share history between all sessions.
|
|
|
|
|
setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history.
|
|
|
|
|
setopt HIST_IGNORE_DUPS # Don't record an entry that was just recorded again.
|
|
|
|
|
setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate.
|
|
|
|
|
setopt HIST_FIND_NO_DUPS # Do not display a line previously found.
|
|
|
|
|
setopt HIST_IGNORE_SPACE # Don't record an entry starting with a space.
|
|
|
|
|
setopt HIST_SAVE_NO_DUPS # Don't write duplicate entries in the history file.
|
|
|
|
|
setopt HIST_REDUCE_BLANKS # Remove superfluous blanks before recording entry.
|
|
|
|
|
setopt HIST_VERIFY # Don't execute immediately upon history expansion.
|
|
|
|
|
setopt HIST_BEEP # Beep when accessing nonexistent history.
|
|
|
|
|
|
