diff options
author | Hsieh Chin Fan <pham@topo.tw> | 2023-04-19 09:42:54 +0800 |
---|---|---|
committer | Hsieh Chin Fan <pham@topo.tw> | 2023-04-19 09:42:54 +0800 |
commit | 8d3530509d222fd6052405df081e972eb699d13e (patch) | |
tree | c8c58eb82feb483a22e9f1e55114c54898e42f88 /bin/unix | |
parent | ac0503ad0965768d6280b367452be05a85e3cd28 (diff) |
Update
Diffstat (limited to 'bin/unix')
-rwxr-xr-x | bin/unix/timer.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/unix/timer.sh b/bin/unix/timer.sh index 37db79d..e02fcfb 100755 --- a/bin/unix/timer.sh +++ b/bin/unix/timer.sh | |||
@@ -81,7 +81,7 @@ timer() { | |||
81 | done | 81 | done |
82 | } | 82 | } |
83 | 83 | ||
84 | trap 'exec 1>&3; [ -n "COMMAND_EXIT" ] && eval "$COMMAND_EXIT" && unset COMMAND_EXIT' EXIT QUIT HUP | 84 | trap 'exec 1>&3; [ -n "COMMAND_EXIT" ] && eval "$COMMAND_EXIT" && unset COMMAND_EXIT' EXIT HUP |
85 | 85 | ||
86 | while [ $count -lt $SET ]; do | 86 | while [ $count -lt $SET ]; do |
87 | [ $stop = true ] && sleep 0.3 && continue | 87 | [ $stop = true ] && sleep 0.3 && continue |