From 75eec352cb1fb2d7a57be0f79d357b10ca2951c4 Mon Sep 17 00:00:00 2001 From: Georgi Gardev Date: Tue, 5 Mar 2024 15:48:35 +0200 Subject: [PATCH] Update zshrc --- shell/.zshrc | 27 ++++++++++++--------------- 1 file changed, 12 insertions(+), 15 deletions(-) diff --git a/shell/.zshrc b/shell/.zshrc index 59a663b..a66257f 100644 --- a/shell/.zshrc +++ b/shell/.zshrc @@ -7,8 +7,8 @@ setopt AUTO_CD setopt NO_CASE_GLOB setopt GLOB_COMPLETE -setopt CORRECT -setopt CORRECT_ALL +setopt correct +setopt correct_all autoload -Uz compinit && compinit @@ -21,19 +21,16 @@ HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history SAVEHIST=50000 HISTSIZE=10000 -setopt EXTENDED_HISTORY -# share history across multiple zsh sessions -setopt SHARE_HISTORY -# append to history -setopt APPEND_HISTORY -# adds commands as they are typed, not at shell exit -setopt INC_APPEND_HISTORY -# do not store duplications -setopt HIST_IGNORE_DUPS -# removes blank lines from history -setopt HIST_REDUCE_BLANKS -# show !! before executing -setopt HIST_VERIFY +setopt extended_history # record start time and elapsed time in history file +setopt share_history # share history across multiple zsh sessions +setopt append_history # append to history +setopt inc_append_history # adds commands as they are typed, not at shell exit +setopt hist_ignore_dups # do not store duplications +setopt hist_reduce_blanks # removes blank lines from history +setopt hist_verify # show !! before executing +setopt hist_ignore_space # remove command lines beginning with a space from history + +setopt no_beep # Don't beep on command input error # -------- # Source & include