chiark
/
gitweb
/
~mdw
/
profile
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0621c55
)
bin/wakey.zsh: Delete the type setting.
author
Mark Wooding
<mdw@distorted.org.uk>
Tue, 21 Apr 2020 12:01:36 +0000
(13:01 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Tue, 21 Apr 2020 12:01:36 +0000
(13:01 +0100)
It gets in the way and doesn't actually achieve anything useful, because
the arithmetic evaluation `(( ... ))' does all of the necessary work
anyway.
bin/wakey.zsh
patch
|
blob
|
blame
|
history
diff --git
a/bin/wakey.zsh
b/bin/wakey.zsh
index e8edb2f432b798d3adc88ead82224253c6b2cf50..cba071b04d3555bf6365e1d270d8b9c1c0bdbfdf 100644
(file)
--- a/
bin/wakey.zsh
+++ b/
bin/wakey.zsh
@@
-20,8
+20,7
@@
__wakey_preexec () {
}
__wakey_precmd () {
}
__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) ;;
case $__wakey_start in
nil) ;;