chiark / gitweb /
Restart on death.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 15 Jul 2001 12:16:38 +0000 (12:16 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 15 Jul 2001 12:16:38 +0000 (12:16 +0000)
repeatedly.sh [new file with mode: 0755]

diff --git a/repeatedly.sh b/repeatedly.sh
new file mode 100755 (executable)
index 0000000..db6e3ba
--- /dev/null
@@ -0,0 +1,10 @@
+#!/bin/sh
+set -e
+cd "`dirname $0`"
+
+while true; do
+       date
+       HOME=. tclsh8.2 || true
+       date
+       sleep 600
+done