Added some history options to .zshrc
This commit is contained in:
20
.zshrc
20
.zshrc
@@ -59,6 +59,26 @@ source $ZSH/oh-my-zsh.sh
|
||||
|
||||
# User configuration
|
||||
|
||||
##########
|
||||
# HISTORY
|
||||
##########
|
||||
|
||||
HISTFILE=$HOME/.zsh_history
|
||||
HISTSIZE=50000
|
||||
SAVEHIST=50000
|
||||
|
||||
setopt EXTENDED_HISTORY
|
||||
setopt HIST_VERIFY
|
||||
setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history.
|
||||
setopt HIST_IGNORE_DUPS # Dont 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 # Dont record an entry starting with a space.
|
||||
setopt HIST_SAVE_NO_DUPS # Dont write duplicate entries in the history file.
|
||||
|
||||
setopt inc_append_history
|
||||
setopt share_history
|
||||
|
||||
# export MANPATH="/usr/local/man:$MANPATH"
|
||||
|
||||
# You may need to manually set your language environment
|
||||
|
||||
Reference in New Issue
Block a user