From a85ce89a3dc7fc63b4e8518a923f9c718561eb0b Mon Sep 17 00:00:00 2001 From: Kevin Kuhl <1747773+alph486@users.noreply.github.com> Date: Sun, 7 Apr 2019 13:31:28 -0500 Subject: [PATCH] refined: reset command exec time (#6117) Fixes #6116 --- themes/refined.zsh-theme | 1 + 1 file changed, 1 insertion(+) diff --git a/themes/refined.zsh-theme b/themes/refined.zsh-theme index 0e5681cc7..2a4188c9d 100644 --- a/themes/refined.zsh-theme +++ b/themes/refined.zsh-theme @@ -72,6 +72,7 @@ preexec() { precmd() { vcs_info # Get version control info before we start outputting stuff print -P "\n$(repo_information) %F{yellow}$(cmd_exec_time)%f" + unset cmd_timestamp #Reset cmd exec time. } # Define prompts