File: mdtool

package info (click to toggle)
monodevelop 4.0.12%2Bdfsg-6
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 219,596 kB
  • ctags: 253,200
  • sloc: cs: 1,486,058; xml: 952,347; java: 60,981; makefile: 4,213; sh: 1,727; ansic: 867; objc: 302; sql: 111
file content (14 lines) | stat: -rw-r--r-- 344 bytes parent folder | download | duplicates (4) 
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" "$@"