chiark / gitweb /
Merge up from trunk. cvs up -j branchpoint-2001-10-09-tell -j mergeup-1-2001-10...
[ircbot] / repeatedly.sh
1 #!/bin/sh
2 set -e
3 cd "`dirname $0`"
4
5 while true; do
6         date
7         set +e
8         HOME=. alarm 50000 tclsh8.2
9         rc=$?
10         set -e
11         date
12         test $rc = 142 || sleep 590
13         sleep 10
14 done