mirror of
https://github.com/dcarrillo/prezto.git
synced 2024-12-23 07:58:00 +00:00
Cleaned up and documented history.
This commit is contained in:
parent
c9e510696c
commit
37dbcf7a20
@ -1,14 +1,19 @@
|
|||||||
## Command history configuration
|
HISTFILE="$HOME/.zhistory"
|
||||||
HISTFILE="$HOME/.zsh_history"
|
|
||||||
HISTSIZE=10000
|
HISTSIZE=10000
|
||||||
SAVEHIST=10000
|
SAVEHIST=10000
|
||||||
|
|
||||||
setopt hist_verify
|
setopt bang_hist # Treat the '!' character specially during expansion.
|
||||||
setopt hist_expire_dups_first
|
setopt extended_history # Write the history file in the ":start:elapsed;command" format.
|
||||||
setopt hist_ignore_space
|
setopt append_history # Append to the history file, don't replace it.
|
||||||
setopt hist_ignore_dups
|
setopt inc_append_history # Write to the history file immediately, not when the shell exits.
|
||||||
setopt share_history
|
setopt share_history # Share history between all sessions.
|
||||||
setopt append_history
|
setopt hist_expire_dups_first # Expire duplicate entries first when trimming history.
|
||||||
setopt extended_history
|
setopt hist_ignore_dups # Don't record an entry that was just recorded again.
|
||||||
setopt inc_append_history
|
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.
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user