/usr/bin/mdtool is in monodevelop 4.0.12+dfsg-2.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
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" "$@"
|