refined: reset command exec time (#6117)

Fixes #6116
This commit is contained in:
Kevin Kuhl 2019-04-07 13:31:28 -05:00 committed by Marc Cornellà
parent 3cfcf5e0aa
commit a85ce89a3d

View File

@ -72,6 +72,7 @@ preexec() {
precmd() { precmd() {
vcs_info # Get version control info before we start outputting stuff vcs_info # Get version control info before we start outputting stuff
print -P "\n$(repo_information) %F{yellow}$(cmd_exec_time)%f" print -P "\n$(repo_information) %F{yellow}$(cmd_exec_time)%f"
unset cmd_timestamp #Reset cmd exec time.
} }
# Define prompts # Define prompts