From: Mark Wooding Date: Tue, 21 Apr 2020 12:01:36 +0000 (+0100) Subject: bin/wakey.zsh: Delete the type setting. X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/bb834f36df39da56b621a9e9774edc1b00361d68 bin/wakey.zsh: Delete the type setting. It gets in the way and doesn't actually achieve anything useful, because the arithmetic evaluation `(( ... ))' does all of the necessary work anyway. --- diff --git a/bin/wakey.zsh b/bin/wakey.zsh index e8edb2f..cba071b 100644 --- a/bin/wakey.zsh +++ b/bin/wakey.zsh @@ -20,8 +20,7 @@ __wakey_preexec () { } __wakey_precmd () { - typeset icon head rc=$? cmd suppress=nil - typeset -i 10 win i now=$SECONDS + local icon head rc=$? cmd suppress=nil win i now=$SECONDS case $__wakey_start in nil) ;;