[ZSH] Optimize History handling
This commit is contained in:
15
zsh/.zshrc
15
zsh/.zshrc
@@ -23,7 +23,20 @@ source ${ZDOTDIR:-~}/.antidote/antidote.zsh
|
|||||||
antidote load ${plugins_txt} ${static_file}
|
antidote load ${plugins_txt} ${static_file}
|
||||||
|
|
||||||
setopt interactivecomments
|
setopt interactivecomments
|
||||||
setopt HIST_IGNORE_SPACE
|
|
||||||
|
# History options
|
||||||
|
HISTSIZE=100000 # Set the amount of lines you want saved
|
||||||
|
SAVEHIST=100000 # This is required to actually save them, needs to match with HISTSIZE
|
||||||
|
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.
|
||||||
# Clear screen by ctrl+q
|
# Clear screen by ctrl+q
|
||||||
bindkey '^q' clear-screen
|
bindkey '^q' clear-screen
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user