From c0ddc39c21361f75f4db3b0c11ddb5d166f71770 Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Thu, 25 Aug 2011 17:41:36 -0400 Subject: [PATCH] changing whalesong to write resources to current directory --- whalesong | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 whalesong diff --git a/whalesong b/whalesong new file mode 100755 index 0000000..f8346ad --- /dev/null +++ b/whalesong @@ -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+"$@"}