Skip to content

Instantly share code, notes, and snippets.

@ianbattersby
Created August 4, 2012 22:58
Show Gist options
  • Save ianbattersby/3260447 to your computer and use it in GitHub Desktop.
Save ianbattersby/3260447 to your computer and use it in GitHub Desktop.
Mono 2.11 bash redirection for FSI (fsharpi)
#!/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