diff options
| author | Hsieh Chin Fan <pham@topo.tw> | 2023-04-27 17:13:50 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <pham@topo.tw> | 2023-04-27 17:13:50 +0800 |
| commit | 4cdf77a295bc62466a24c7a2aabd893b4bd09554 (patch) | |
| tree | 69c842f27625fcdad911e6a429d2f380a8e7b0e7 /bin/unix/timer.sh | |
| parent | 46662787169cd9fd7eb1220aea0bb25309fe6e35 (diff) | |
Update
Diffstat (limited to 'bin/unix/timer.sh')
| -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 ac89c52..c87a836 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; date >>/tmp/timer.sh; echo $(trap -l $1 | cut -f 2 -d" ") >>/tmp/timer.sh' EXIT HUP | 84 | trap 'exec 1>&3; [ -n "COMMAND_EXIT" ] && eval "$COMMAND_EXIT" && unset COMMAND_EXIT; echo `date` $1 >>/tmp/timer.sh; ' 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 |