zshrc: more useful history opts
This commit is contained in:
parent
47830cff8d
commit
0f6ddbdf43
6
.zshrc
6
.zshrc
@ -65,12 +65,16 @@
|
||||
HIST_STAMPS="dd.mm.yyyy"
|
||||
HISTSIZE=10000000
|
||||
SAVEHIST=10000000
|
||||
setopt extended_history # write the history file in the ":start:elapsed;command" format
|
||||
setopt share_history
|
||||
setopt hist_expire_dups_first # expire duplicate entries first when trimming history
|
||||
setopt hist_ignore_dups
|
||||
setopt hist_ignore_all_dups
|
||||
setopt hist_save_no_dups
|
||||
setopt hist_ignore_space
|
||||
HISTCONTROL=ignoredups:erasedups
|
||||
setopt hist_reduce_blanks # remove superfluous blanks before recording entry
|
||||
setopt hist_verify # don't execute immediately after expansion
|
||||
# HISTCONTROL=ignoredups:erasedups
|
||||
|
||||
# Would you like to use another custom folder than $ZSH/custom?
|
||||
# ZSH_CUSTOM=/path/to/new-custom-folder
|
||||
|
Loading…
Reference in New Issue
Block a user