#!/bin/bash #this script should be in $PREFIX/bin MONO_EXEC="exec -a mdtool mono" EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdrun.exe" ##NOTE: remove this for stable releases if [ -z "$MD_NO_DEBUG" ]; then _MONO_OPTIONS=${MONO_OPTIONS:---debug} else _MONO_OPTIONS=$MONO_OPTIONS fi $MONO_EXEC $_MONO_OPTIONS "$EXE_PATH" "$@"