From: Mark Wooding Date: Tue, 21 Apr 2020 11:59:05 +0000 (+0100) Subject: bin/wakey.zsh: Use `$SECONDS' rather than `$EPOCHREALTIME'. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/1bea7f5c61956746547f44fe8809fb6fb57a2038?ds=sidebyside bin/wakey.zsh: Use `$SECONDS' rather than `$EPOCHREALTIME'. It's portable to (even fairly old) `bash', for example. --- diff --git a/bin/wakey.zsh b/bin/wakey.zsh index b0d8374..6a848ca 100644 --- a/bin/wakey.zsh +++ b/bin/wakey.zsh @@ -3,8 +3,6 @@ ## This idea shamelessly stolen from Jonathan Lange's `undistract-me'; see ## . -zmodload zsh/datetime - __wakey_start=nil __wakey_cmd= : ${LONG_RUNNING_COMMAND_TIMEOUT=10}; export LONG_RUNNING_COMMAND_TIMEOUT : ${IGNORE_WINDOW_CHECK=nil}; export IGNORE_WINDOW_CHECK @@ -15,7 +13,7 @@ __wakey_preexec () { nil) case $LONG_RUNNING_IGNORE_LIST in *" $1 "*) ;; - *) __wakey_start=$EPOCHREALTIME __wakey_cmd=$1 ;; + *) __wakey_start=$SECONDS __wakey_cmd=$1 ;; esac ;; esac @@ -23,8 +21,7 @@ __wakey_preexec () { __wakey_precmd () { typeset icon head rc=$? cmd suppress=nil - typeset -i 10 win i - typeset -F now=$EPOCHREALTIME + typeset -i 10 win i now=$SECONDS case $__wakey_start in nil) ;;