From f80c549a2d03e5d35ebaebb5d404a8d671f1be5c Mon Sep 17 00:00:00 2001 From: Alex Selimov Date: Wed, 24 Sep 2025 10:02:58 -0400 Subject: [PATCH] Update zsh history settings --- home/.zshrc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/home/.zshrc b/home/.zshrc index 4862198..6b41866 100644 --- a/home/.zshrc +++ b/home/.zshrc @@ -8,7 +8,7 @@ SAVEHIST=100000 setopt extendedglob notify unsetopt autocd beep setopt INC_APPEND_HISTORY # Write to history file immediately, not when shell exits -setopt SHARE_HISTORY # Share history between all sessions +setopt APPEND_HISTORY # Append instead of overwriting the file setopt HIST_IGNORE_DUPS # Don't save duplicate commands setopt HIST_IGNORE_SPACE # Don't save commands starting with space @@ -198,7 +198,7 @@ bindkey '^[[B' history-substring-search-down #============================================================================== if [ "$(uname)" = "Darwin" ]; then - export PATH="$PATH:/opt/homebrew/bin" + export PATH="/opt/homebrew/bin:$PATH" alias ls="gls --classify --group-directories-first --color" GEMINI_BIN=$(which gemini) function gemini(){