changing whalesong to write resources to current directory

2011-08-25 17:41:36 -04:00 · 2011-08-25 17:41:36 -04:00 · c0ddc39c21
commit c0ddc39c21
parent 4853e46633
1 changed files with 8 additions and 0 deletions
--- a/8
+++ b/8
@ -0,0 +1,8 @@
+#!/bin/sh
+# This script was created by make-mzscheme-launcher
+
+# {{{ bindir
+bindir="/local/projects/racket/releases/5.1.3/bin"
+# }}} bindir
+
+exec "${bindir}/racket" -N "$0" '/gpfs/main/home/dyoo/work/whalesong/whalesong.rkt'  ${1+"$@"}