From 17f8cd452d490c3b553aa4f46e7591d442b99ab4 Mon Sep 17 00:00:00 2001 From: Kevin Kuhl Date: Tue, 30 May 2017 23:56:20 -0500 Subject: [PATCH] Reset Command Exec Time Reset the `cmd_timestamp` immediately after printing to avoid printing erroneous times on subsequent empty prompts. --- 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