diff options
author | Kevin Kuhl <1747773+alph486@users.noreply.github.com> | 2019-04-07 13:31:28 -0500 |
---|---|---|
committer | Marc Cornellà <marc.cornella@live.com> | 2019-04-07 20:31:28 +0200 |
commit | a85ce89a3dc7fc63b4e8518a923f9c718561eb0b (patch) | |
tree | 4648783783d9420bd264d529638ce44db9f1f6fa | |
parent | 3cfcf5e0aa71bddcf7ab45d3880f142654f22266 (diff) | |
download | zsh-a85ce89a3dc7fc63b4e8518a923f9c718561eb0b.tar.gz zsh-a85ce89a3dc7fc63b4e8518a923f9c718561eb0b.tar.bz2 zsh-a85ce89a3dc7fc63b4e8518a923f9c718561eb0b.zip |
refined: reset command exec time (#6117)
Fixes #6116
-rw-r--r-- | themes/refined.zsh-theme | 1 |
1 files changed, 1 insertions, 0 deletions
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 |