zsh: fix hist size + some more feature
This commit is contained in:
parent
de118651a0
commit
5eb3ad47da
@ -2,12 +2,26 @@
|
|||||||
#man zshcontrib
|
#man zshcontrib
|
||||||
# Lines configured by zsh-newuser-install
|
# Lines configured by zsh-newuser-install
|
||||||
export HISTFILE=~/.histfile
|
export HISTFILE=~/.histfile
|
||||||
HISTSIZE=100000
|
export HISTSIZE=1000000
|
||||||
SAVEHIST=100000
|
export SAVEHIST=1000000
|
||||||
export HISTTIMEFORMAT="%h/%d - %H:%M:%S "
|
export HISTTIMEFORMAT="%h/%d - %H:%M:%S "
|
||||||
#export HISTCONTROL=ignoredups
|
#export HISTCONTROL=ignoredups
|
||||||
export HISTCONTROL=erasedups
|
export HISTCONTROL=erasedups
|
||||||
|
|
||||||
|
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.
|
||||||
|
|
||||||
|
|
||||||
#export HISTIGNORE=”&:ls:[bf]g:exit”
|
#export HISTIGNORE=”&:ls:[bf]g:exit”
|
||||||
setopt -h histappend
|
setopt -h histappend
|
||||||
PROMPT_COMMAND='history -a'
|
PROMPT_COMMAND='history -a'
|
||||||
|
Loading…
Reference in New Issue
Block a user