| Server IP : 182.53.201.61 / Your IP : 216.73.217.175 Web Server : Apache/2.2.15 (Fedora) System : Linux km10.dyndns.org 2.6.31.5-127.fc12.i686.PAE #1 SMP Sat Nov 7 21:25:57 EST 2009 i686 User : apache ( 48) PHP Version : 5.3.3 Disable Function : NONE MySQL : ON | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /proc/13386/root/usr/bin/ |
Upload File : |
#!/bin/bash
#this script should be in $PREFIX/bin
MONO_EXEC="exec -a monodevelop mono"
EXE_PATH="${0%%/bin/monodevelop}/lib/monodevelop/bin/MonoDevelop.exe"
_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 ##
#############################
#(NOTE: any changes to this block should be kept in sync with the one in configure.in)
MOZFILE="libgtkembedmoz.so"
find_libgtkembedmoz ()
{
MOZDIR=$MOZILLA_FIVE_HOME
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
ALLMOZDIRS=$(grep -h GRE_PATH= /etc/gre.d/*.conf 2>/dev/null | cut -d '"' -f 2 -d = )
if [ -n "$ALLMOZDIRS" ] ; then
for MOZDIR in $ALLMOZDIRS ; do
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
done
fi
mozilla_script=$(which mozilla 2> /dev/null)
firefox_script=$(which firefox 2> /dev/null)
if [ -z $mozilla_script ] && [ -z $firefox_script ]; then return; fi
for runtime_script in "$firefox_script $mozilla_script"; do
MOZDIR=$(grep "MOZ_DIST_LIB=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
MOZDIR=$(grep "MOZILLA_FIVE_HOME=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
MOZDIR=$(grep "MOZILLA_LIBDIR=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
MOZDIR=$(grep "moz_libdir=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
done
}
if test -e "/$MOZFILE"; then
MOZILLA_HOME=""
else
MOZILLA_HOME=`find_libgtkembedmoz`
if test ! -e "$MOZILLA_HOME/$MOZFILE"; then
MOZILLA_HOME=
echo "WARNING: Cannot find Mozilla directory containing $MOZFILE. Some Addins may not be able to function. Please set MOZILLA_FIVE_HOME to your Mozilla directory."
fi
fi
if [ -n $LD_LIBRARY_PATH ]; then
export LD_LIBRARY_PATH="$MOZILLA_HOME:$LD_LIBRARY_PATH"
else
export LD_LIBRARY_PATH="$MOZILLA_HOME"
fi
export MOZILLA_FIVE_HOME="$MOZILLA_HOME"
###########################
## END MOZILLA DETECTION ##
###########################
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" $*
fi