From e081264573cacfac5eac10f2185113f2926ad4e2 Mon Sep 17 00:00:00 2001 From: Bartek Stalewski Date: Tue, 11 May 2021 14:24:48 +0200 Subject: [PATCH] New settings for history. --- zsh/.zshrc | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/zsh/.zshrc b/zsh/.zshrc index 3bca0dd..30c72b5 100644 --- a/zsh/.zshrc +++ b/zsh/.zshrc @@ -2,11 +2,15 @@ bindkey -e # global exports and options -setopt share_history -setopt inc_append_history export HISTSIZE=10000 export SAVEHIST=$HISTSIZE export HISTFILE=$XDG_DATA_HOME/zsh/history +setopt HIST_IGNORE_ALL_DUPS +setopt HIST_SAVE_NO_DUPS +setopt HIST_REDUCE_BLANKS +setopt INC_APPEND_HISTORY_TIME +setopt EXTENDED_HISTORY + export LESSHISTFILE='/dev/null' mkdir -p $XDG_DATA_HOME/zsh