diff options
author | Michael Hutchinson <mhutchinson@novell.com> | 2009-04-30 00:30:04 +0400 |
---|---|---|
committer | Michael Hutchinson <mhutchinson@novell.com> | 2009-04-30 00:30:04 +0400 |
commit | 4a5a9b44dfd70d90503ffd989173cdaeaa2a6428 (patch) | |
tree | 9cf1cce431c2b090c4f6c10987932ab1bca44a67 /main/monodevelop.in | |
parent | 42bea0d2a6c20f56487f7bed469ea2bb2f3dfb79 (diff) |
* mdtool.in:
* monodevelop.in: Simpler launch script, without the fragile options
parsing.
svn path=/trunk/monodevelop/; revision=133073
Diffstat (limited to 'main/monodevelop.in')
-rwxr-xr-x | main/monodevelop.in | 61 |
1 files changed, 14 insertions, 47 deletions
diff --git a/main/monodevelop.in b/main/monodevelop.in index e7a72bd535..55e4aba4f3 100755 --- a/main/monodevelop.in +++ b/main/monodevelop.in @@ -1,12 +1,17 @@ #!/bin/bash #this script should be in $PREFIX/bin -PREFIX="${0%%/bin/monodevelop}" MONO_EXEC="exec -a monodevelop mono" -EXE_PATH="$PREFIX/lib/monodevelop/bin/MonoDevelop.exe" +EXE_PATH="${0%%/bin/monodevelop}/lib/monodevelop/bin/MonoDevelop.exe" -MD_FORCE_DEBUG=yes -MD_REDIRECT_LOG="${XDG_CONFIG_HOME:-$HOME/.config}/MonoDevelop/log" +_MD_REDIRECT_LOG="${MD_REDIRECT_LOG:-${XDG_CONFIG_HOME:-$HOME/.config}/MonoDevelop/log}" + +##NOTE: remove this for stable releases +if [ -z "$MD_NO_DEBUG" ]; then + _MONO_OPTIONS=${MONO_OPTIONS:---debug} +else + _MONO_OPTIONS=$MONO_OPTIONS +fi ############################# ## BEGIN MOZILLA DETECTION ## @@ -60,48 +65,10 @@ export MOZILLA_FIVE_HOME="$MOZILLA_HOME" ## END MOZILLA DETECTION ## ########################### -for arg in "$@"; do -case "x$arg" in - x--profile*) - MONO_OPTIONS+=("$arg") - shift - ;; - x--debug*) - export MONODEVELOP_DISPATCH_DEBUG=yes - unset MD_FORCE_DEBUG - MONO_OPTIONS+=("$arg") - shift - ;; - x--trace*) - MONO_OPTIONS+=("$arg") - shift - ;; - x--no-log) - unset MD_REDIRECT_LOG - shift - ;; - x--no-debug) - unset MD_FORCE_DEBUG - shift - ;; - *) - ARGS+=("$arg") - shift - ;; -esac -done - -if [ -z MD_FORCE_DEBUG ]; then - MONO_OPTIONS+=("--debug") -fi - -if [ -n "${MONO_OPTIONS[0]}" ]; then - echo "** Running with Mono options: ${MONO_OPTIONS[@]} **" -fi - -if [ -n "$MD_REDIRECT_LOG" ]; then - mkdir -p `dirname "$MD_REDIRECT_LOG"` - $MONO_EXEC "${MONO_OPTIONS[@]}" "$EXE_PATH" "${ARGS[@]}" 2>&1 | tee "$MD_REDIRECT_LOG" +if [ -n "$_MD_REDIRECT_LOG" ]; then + mkdir -p `dirname "$_MD_REDIRECT_LOG"` + $MONO_EXEC $_MONO_OPTIONS "$EXE_PATH" $* 2>&1 | tee "$_MD_REDIRECT_LOG" else - $MONO_EXEC "${MONO_OPTIONS[@]}" "$EXE_PATH" "${ARGS[@]}" + $MONO_EXEC $_MONO_OPTIONS "$EXE_PATH" $* fi + |