round to seconds instead of truncating

5 years ago · 06aa8da96e
parent 0eff9fe1b9
commit 06aa8da96e
1 changed files with 1 additions and 1 deletions
--- 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