diff options
| author | Ekaitz Zarraga <ekaitz@elenq.tech> | 2022-07-14 22:55:38 +0200 |
|---|---|---|
| committer | Ekaitz Zarraga <ekaitz@elenq.tech> | 2022-07-14 22:55:38 +0200 |
| commit | 9c282b20f2c6fc3a31992d426f3f7f7d2c023716 (patch) | |
| tree | ff2374cbf1dcf4ab16243b63b1ea295f5b57bb5e | |
| parent | a8beba02d26944e3e425dab8d8aed33d50aeef80 (diff) | |
Add repl launcher
| -rwxr-xr-x | run-repl.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/run-repl.sh b/run-repl.sh new file mode 100755 index 0000000..4cfae63 --- /dev/null +++ b/run-repl.sh @@ -0,0 +1,8 @@ +#!/usr/bin/env bash + +set -xe + +SOCKET=${PWD}/.guile-repl.socket +if [ -f $SOCKET ]; then rm $SOCKET; fi + guile --listen=$SOCKET -L . +rm $SOCKET |