#!/usr/bin/env bash #this script should be in $PREFIX/bin MONO_EXEC="exec -a mdtool mono-sgen" EXE_PATH="${0%%/bin/mdtool}/lib/monodevelop/bin/mdtool.exe" $MONO_EXEC $MONO_OPTIONS "$EXE_PATH" "$@"