From 388b3d349bd7261646192fcea50ec8bf3bf82e33 Mon Sep 17 00:00:00 2001 From: tastytea Date: Wed, 23 Mar 2022 03:04:59 +0100 Subject: [PATCH] Zsh: Try recording run-time in history again MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit last time it borked. 🤞 --- .config/zsh/.zshrc | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.config/zsh/.zshrc b/.config/zsh/.zshrc index 39a8ff1..b7f2d29 100644 --- a/.config/zsh/.zshrc +++ b/.config/zsh/.zshrc @@ -68,17 +68,17 @@ export SAVEHIST=10000 # On disk. # The optional three formats: "mm/dd/yyyy"|"dd.mm.yyyy"|"yyyy-mm-dd" HIST_STAMPS="yyyy-mm-dd" # Write command to history file after it is finished, with time and duration. -# setopt NO_SHARE_HISTORY EXTENDED_HISTORY INC_APPEND_HISTORY_TIME -setopt EXTENDED_HISTORY SHARE_HISTORY -setopt HIST_EXPIRE_DUPS_FIRST HIST_IGNORE_DUPS HIST_IGNORE_SPACE +setopt NO_SHARE_HISTORY EXTENDED_HISTORY INC_APPEND_HISTORY_TIME +# setopt EXTENDED_HISTORY SHARE_HISTORY +setopt HIST_EXPIRE_DUPS_FIRST HIST_IGNORE_DUPS HIST_IGNORE_SPACE HIST_REDUCE_BLANKS setopt HIST_VERIFY # Import new commands from the history file. function precmd_history { - fc -RI + fc -R -I } -# precmd_functions+=precmd_history +precmd_functions+=precmd_history ############################## Completion ######################################