From f051b6e3cc03d9aad37016724d3ac29a58e0999c Mon Sep 17 00:00:00 2001 From: Bartek Stalewski Date: Sat, 23 Jul 2022 17:29:49 +0200 Subject: [PATCH] Option to append history. --- zsh/.zshrc | 1 + 1 file changed, 1 insertion(+) diff --git a/zsh/.zshrc b/zsh/.zshrc index 25fe662..df4fdb8 100644 --- a/zsh/.zshrc +++ b/zsh/.zshrc @@ -8,6 +8,7 @@ setopt HIST_IGNORE_ALL_DUPS setopt HIST_SAVE_NO_DUPS setopt HIST_REDUCE_BLANKS setopt SHARE_HISTORY +setopt INC_APPEND_HISTORY [ -z $DISPLAY ] && export PATH=~/.local/bin:$PATH tabs 2