Commit 330f94a17b7d298b7dd9dc48f5c4b6c1fb7be9a3

Thomas de Grivel 2018-04-17T15:22:59

startup shell script

1
2
3
4
5
6
7
8
9
10
11
diff --git a/thot b/thot
new file mode 100755
index 0000000..00da031
--- /dev/null
+++ b/thot
@@ -0,0 +1,5 @@
+#!/bin/sh
+sbcl <<EOF
+(require :thot)
+(thot:start)
+EOF