From 26a8b17f6efc2d3b0723c8e7313413d408d58b1b Mon Sep 17 00:00:00 2001 From: romkatv Date: Sun, 14 Jul 2019 15:44:56 +0200 Subject: [PATCH] 1.23s instead of 1.23 in command_execution_time --- internal/p10k.zsh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/internal/p10k.zsh b/internal/p10k.zsh index 1053f71c..417278dd 100755 --- a/internal/p10k.zsh +++ b/internal/p10k.zsh @@ -927,10 +927,10 @@ prompt_command_execution_time() { if (( _P9K_COMMAND_DURATION < 60 )); then if [[ $POWERLEVEL9K_COMMAND_EXECUTION_TIME_PRECISION == 0 ]]; then local -i sec=_P9K_COMMAND_DURATION - local text=${sec}s else - local -F $POWERLEVEL9K_COMMAND_EXECUTION_TIME_PRECISION text=_P9K_COMMAND_DURATION + local -F $POWERLEVEL9K_COMMAND_EXECUTION_TIME_PRECISION sec=_P9K_COMMAND_DURATION fi + local text=${sec}s else local -i d=_P9K_COMMAND_DURATION local text=${(l.2..0.)$((d % 60))}