From 674ae068b65bebb669e0cdd58db9f3e0413b0324 Mon Sep 17 00:00:00 2001 From: Dominik Ritter Date: Tue, 14 Feb 2017 21:38:39 +0100 Subject: [PATCH] Use GMT as timezone for `command_execution_time` segment --- powerlevel9k.zsh-theme | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/powerlevel9k.zsh-theme b/powerlevel9k.zsh-theme index 9fb231c1..77c9592f 100755 --- a/powerlevel9k.zsh-theme +++ b/powerlevel9k.zsh-theme @@ -572,9 +572,9 @@ prompt_command_execution_time() { # See http://unix.stackexchange.com/a/89748 local humanReadableDuration if (( _P9K_COMMAND_DURATION > 3600 )); then - humanReadableDuration=$(strftime '%H:%M:%S' $(( int(rint(_P9K_COMMAND_DURATION)) ))) + humanReadableDuration=$(TZ=GMT; strftime '%H:%M:%S' $(( int(rint(_P9K_COMMAND_DURATION)) ))) elif (( _P9K_COMMAND_DURATION > 60 )); then - humanReadableDuration=$(strftime '%M:%S' $(( int(rint(_P9K_COMMAND_DURATION)) ))) + humanReadableDuration=$(TZ=GMT; strftime '%M:%S' $(( int(rint(_P9K_COMMAND_DURATION)) ))) else # If the command executed in seconds, print as float. # Convert to float