mirror of
https://github.com/tomru/DotfilesOld.git
synced 2026-03-03 06:27:21 +01:00
set history settings
This commit is contained in:
22
zshrc
22
zshrc
@@ -16,3 +16,25 @@ if ! zgen saved; then
|
|||||||
zgen save
|
zgen save
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
# keybindings
|
||||||
|
|
||||||
|
bindkey '^r' history-incremental-search-backward
|
||||||
|
bindkey ' ' magic-space
|
||||||
|
|
||||||
|
# history settings (from oh-my-zsh)
|
||||||
|
if [ -z "$HISTFILE" ]; then
|
||||||
|
HISTFILE=$HOME/.zsh_history
|
||||||
|
fi
|
||||||
|
|
||||||
|
HISTSIZE=10000
|
||||||
|
SAVEHIST=10000
|
||||||
|
|
||||||
|
setopt append_history
|
||||||
|
setopt extended_history
|
||||||
|
setopt hist_expire_dups_first
|
||||||
|
setopt hist_ignore_dups # ignore duplication command history list
|
||||||
|
setopt hist_ignore_space
|
||||||
|
setopt hist_verify
|
||||||
|
setopt inc_append_history
|
||||||
|
setopt share_history # share command history data
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user