From 5a999f6ff282171c0018d7a74407911f8be1db31 Mon Sep 17 00:00:00 2001 From: Flinner Yuu Date: Thu, 14 Jul 2022 13:48:09 +0300 Subject: [PATCH] feat(zsh): shared history! --- zsh/.zshrc | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/zsh/.zshrc b/zsh/.zshrc index 86b29ef..51e0e33 100644 --- a/zsh/.zshrc +++ b/zsh/.zshrc @@ -81,11 +81,14 @@ setopt HIST_IGNORE_ALL_DUPS # do not put duplicated command into history list setopt HIST_IGNORE_SPACE # Remove commands from history when the first character is a space setopt HIST_SAVE_NO_DUPS # do not save duplicated command setopt HIST_REDUCE_BLANKS # remove unnecessary blanks -setopt INC_APPEND_HISTORY_TIME # append command to history file immediately after execution -setopt EXTENDED_HISTORY # record command start time setopt CORRECT # Correct spelling of commands setopt CORRECT_ALL # Correct spelling of arguments setopt INTERACTIVE_COMMENTS # can have comments at the prompt +setopt HIST_VERIFY # history expansions get verified in a new line +setopt SHARE_HISTORY # SHARE_HISTORY between zsh sessins + # disabled due to SHARE_HISTORY being used + #setopt INC_APPEND_HISTORY_TIME # append command to history file immediately after execution +setopt EXTENDED_HISTORY # record command start time SAVEHIST=1000 HISTSIZE=1000 HISTFILE="$HOME/.local/share/zsh/zsh_history"