Skip to content

Instantly share code, notes, and snippets.

@ianbattersby

ianbattersby/gist:3260447

Created August 4, 2012 22:58
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ianbattersby/3260447 to your computer and use it in GitHub Desktop.
Save ianbattersby/3260447 to your computer and use it in GitHub Desktop.
Download ZIP
Mono 2.11 bash redirection for FSI (fsharpi)
Raw
gistfile1.txt
#!/bin/sh
EXEC="exec "
if test x$1 = x--debug; then
DEBUG=--debug
shift
fi
if test x$1 = x--gdb; then
shift
EXEC="gdb --eval-command=run --args "
fi
if test x$1 = x--valgrind; then
shift
EXEC="valgrind $VALGRIND_OPTIONS"
fi
$EXEC mono $DEBUG $MONO_OPTIONS /Library/Frameworks/Mono.framework/Versions/Current/lib/mono/4.0/fsi.exe $@
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment