Update zshrc

This commit is contained in:
Georgi Gardev
2024-03-05 15:48:35 +02:00
parent 7942bc4a52
commit 79418928e6
+12 -15
View File
@@ -7,8 +7,8 @@ setopt AUTO_CD
setopt NO_CASE_GLOB setopt NO_CASE_GLOB
setopt GLOB_COMPLETE setopt GLOB_COMPLETE
setopt CORRECT setopt correct
setopt CORRECT_ALL setopt correct_all
autoload -Uz compinit && compinit autoload -Uz compinit && compinit
@@ -21,19 +21,16 @@ HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history
SAVEHIST=50000 SAVEHIST=50000
HISTSIZE=10000 HISTSIZE=10000
setopt EXTENDED_HISTORY setopt extended_history # record start time and elapsed time in history file
# share history across multiple zsh sessions setopt share_history # share history across multiple zsh sessions
setopt SHARE_HISTORY setopt append_history # append to history
# append to history setopt inc_append_history # adds commands as they are typed, not at shell exit
setopt APPEND_HISTORY setopt hist_ignore_dups # do not store duplications
# adds commands as they are typed, not at shell exit setopt hist_reduce_blanks # removes blank lines from history
setopt INC_APPEND_HISTORY setopt hist_verify # show !! before executing
# do not store duplications setopt hist_ignore_space # remove command lines beginning with a space from history
setopt HIST_IGNORE_DUPS
# removes blank lines from history setopt no_beep # Don't beep on command input error
setopt HIST_REDUCE_BLANKS
# show !! before executing
setopt HIST_VERIFY
# -------- # --------
# Source & include # Source & include