From ae9263c183567613ab06248770b4efdbc4f817f0 Mon Sep 17 00:00:00 2001 From: Christian Baer Date: Thu, 24 Sep 2020 23:27:12 +0200 Subject: [PATCH] Modiefied hoistory settings for zsh --- .zsh/lib/20-history.zsh | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/.zsh/lib/20-history.zsh b/.zsh/lib/20-history.zsh index b197739..bc99a8c 100644 --- a/.zsh/lib/20-history.zsh +++ b/.zsh/lib/20-history.zsh @@ -1,17 +1,19 @@ ## Command history configuration HISTFILE=$ZDOTDIR/history -HISTSIZE=40000 -SAVEHIST=40000 +HISTSIZE=1000000000 +SAVEHIST=1000000000 -setopt append_history -setopt extended_history +export HISTTIMEFORMAT="[%F %T] " +setopt INC_APPEND_HISTORY +setopt EXTENDED_HISTORY +setopt HIST_FIND_NO_DUPS setopt hist_ignore_dups setopt hist_verify setopt incappendhistory setopt histignorespace setopt histnostore setopt share_history -HISTORY_IGNORE='([bf]g *|disown|cd ..|cd -)' +export HISTORY_IGNORE="([bf]g *|disown|cd ..|cd -)" # Make up and down arrow take what’s typed on the commandline in to account.