From fd30450d7e991ac15e28f619cf89ee3cc3ce538b Mon Sep 17 00:00:00 2001 From: Alexander Hess Date: Wed, 10 Aug 2022 17:48:10 +0200 Subject: [PATCH] Adjust $HISTFILE settings - remove the environment variables - remove the `setopt`s - both are replaced with options in ~/.zshrc (See: https://gitlab.webartifex.biz/alexander/dotfiles) --- lib/history.zsh | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/lib/history.zsh b/lib/history.zsh index 35da57de..f8c131de 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -33,16 +33,3 @@ case ${HIST_STAMPS-} in "") alias history='omz_history' ;; *) alias history="omz_history -t '$HIST_STAMPS'" ;; esac - -## History file configuration -[ -z "$HISTFILE" ] && HISTFILE="$HOME/.zsh_history" -[ "$HISTSIZE" -lt 50000 ] && HISTSIZE=50000 -[ "$SAVEHIST" -lt 10000 ] && SAVEHIST=10000 - -## History command configuration -setopt extended_history # record timestamp of command in HISTFILE -setopt hist_expire_dups_first # delete duplicates first when HISTFILE size exceeds HISTSIZE -setopt hist_ignore_dups # ignore duplicated commands history list -setopt hist_ignore_space # ignore commands that start with space -setopt hist_verify # show command with history expansion to user before running it -setopt share_history # share command history data