Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Hutchinson <mhutchinson@novell.com>2009-07-29 01:49:06 +0400
committerMichael Hutchinson <mhutchinson@novell.com>2009-07-29 01:49:06 +0400
commit29eeccc4971c73cb1d46b7d786e39177051a6411 (patch)
tree84f8f0fbedf1913db83ba02590031d5341043941 /main/monodevelop.in
parente8b916fafb2f239fd0a8d587ecd80ef328015ef8 (diff)
* monodevelop.in: Scan all Mozillas registered in /etc/gre.d/ for
gtkmozembed. Patch from Allwyn Fernandes <sldfaslfsasdkfasdf33@stobor.net>. svn path=/trunk/monodevelop/; revision=138884
Diffstat (limited to 'main/monodevelop.in')
-rwxr-xr-xmain/monodevelop.in8
1 files changed, 6 insertions, 2 deletions
diff --git a/main/monodevelop.in b/main/monodevelop.in
index 55e4aba4f3..8534847a06 100755
--- a/main/monodevelop.in
+++ b/main/monodevelop.in
@@ -24,8 +24,12 @@ find_libgtkembedmoz ()
MOZDIR=$MOZILLA_FIVE_HOME
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
- MOZDIR=$(grep -h GRE_PATH= /etc/gre.d/*.conf 2>/dev/null | cut -d '"' -f 2 -d = | head -n 1) #"
- 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)