From a06b25c88325a79fe6a45f5a2499721ac1652b90 Mon Sep 17 00:00:00 2001 From: Fabian Ising Date: Thu, 31 Jul 2025 15:24:28 +0200 Subject: [PATCH] [ZSH] Optimize History handling --- zsh/.zshrc | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/zsh/.zshrc b/zsh/.zshrc index e97159b..e768bd7 100644 --- a/zsh/.zshrc +++ b/zsh/.zshrc @@ -41,7 +41,20 @@ export SSH_REAL_SOCK=$SSH_AUTH_SOCK [[ -z $FORWARD_SOCK ]] || export SSH_AUTH_SOCK=$FORWARD_SOCK setopt interactivecomments -setopt HIST_IGNORE_SPACE + +# History options +HISTSIZE=100000 # Set the amount of lines you want saved +SAVEHIST=100000 # This is required to actually save them, needs to match with HISTSIZE +setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed;command" format. +setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits. +setopt SHARE_HISTORY # Share history between all sessions. +setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history. +setopt HIST_IGNORE_DUPS # Don\'t record an entry that was just recorded again. +setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate. +setopt HIST_FIND_NO_DUPS # Do not display a line previously found. +setopt HIST_IGNORE_SPACE # Don\'t record an entry starting with a space. +setopt HIST_SAVE_NO_DUPS # Don\'t write duplicate entries in the history file. +setopt HIST_REDUCE_BLANKS # Remove superfluous blanks before recording entry. # Clear screen by ctrl+q bindkey '^q' clear-screen