chiark / gitweb /
Startup for chiark.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 17 Feb 2001 15:53:47 +0000 (15:53 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 17 Feb 2001 15:53:47 +0000 (15:53 +0000)
startup.sh [new file with mode: 0755]

diff --git a/startup.sh b/startup.sh
new file mode 100755 (executable)
index 0000000..1db91ee
--- /dev/null
@@ -0,0 +1,7 @@
+#!/bin/sh
+set -e
+cd "`dirname $0`"
+sleep 1
+set +e
+HOME=. tclsh8.2
+sleep 5000000