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