diff options
| author | Paul Iannetta <paul.iannetta@ens-lyon.fr> | 2022-04-21 23:55:52 +0200 |
|---|---|---|
| committer | Paul Iannetta <paul.iannetta@ens-lyon.fr> | 2022-04-22 08:24:15 +0200 |
| commit | c86932296809fb0b9dec4af024869a0648ac8ffd (patch) | |
| tree | c07914419e289b0f1488f2322e31e459ef4a3b7f /.config/zsh/rc/history.rc | |
| parent | e83c4515e0179221e7315abb606452ab2f7b561d (diff) | |
update zsh conf
Diffstat (limited to '.config/zsh/rc/history.rc')
| -rwxr-xr-x | .config/zsh/rc/history.rc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.config/zsh/rc/history.rc b/.config/zsh/rc/history.rc index cc1e892..1df2147 100755 --- a/.config/zsh/rc/history.rc +++ b/.config/zsh/rc/history.rc @@ -1,11 +1,11 @@ -# vim: syntax=sh +# vim: ft=zsh export HISTSIZE=1000 # nb of line in internal history export SAVEHIST=5000 # nb of line stored in $HISTFILE export HISTFILE=$XDG_CACHE_HOME/zsh/zsh_history 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 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. @@ -14,5 +14,5 @@ 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_VERIFY # Don't execute immediately upon history expansion. setopt HIST_BEEP # Beep when accessing nonexistent history. |