1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
#!/usr/bin/env bash #this script should be in $PREFIX/bin MONO_EXEC="exec -a mdtool mono" EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdtool.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" "$@" |