diff options
Diffstat (limited to 'internal/p10k.zsh')
| -rwxr-xr-x | internal/p10k.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/internal/p10k.zsh b/internal/p10k.zsh index 9201dafe..9e0630e6 100755 --- a/internal/p10k.zsh +++ b/internal/p10k.zsh @@ -926,7 +926,7 @@ 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 -i sec=$((_P9K_COMMAND_DURATION + 0.5)) else local -F $POWERLEVEL9K_COMMAND_EXECUTION_TIME_PRECISION sec=_P9K_COMMAND_DURATION fi |