diff options
author | Michael Hutchinson <mhutchinson@novell.com> | 2009-07-29 01:49:06 +0400 |
---|---|---|
committer | Michael Hutchinson <mhutchinson@novell.com> | 2009-07-29 01:49:06 +0400 |
commit | 29eeccc4971c73cb1d46b7d786e39177051a6411 (patch) | |
tree | 84f8f0fbedf1913db83ba02590031d5341043941 /main/monodevelop.in | |
parent | e8b916fafb2f239fd0a8d587ecd80ef328015ef8 (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-x | main/monodevelop.in | 8 |
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) |