[MonoDevelop] MOZILLA_FIVE_HOME

[Iain McCoy]

--=-ldpk9poIlXsn1n0Ctk+q
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hello

Here's a patch to make MOZILLA_FIVE_HOME be auto-detected at runtime as
a last resort before erroring out. 

jluke was talking on IRC about making the configure script be more
stringent; this patch might be pointless if that was done.

Cheers,
-- 
Iain McCoy <iain@mccoy.id.au>

--=-ldpk9poIlXsn1n0Ctk+q
Content-Disposition: attachment; filename=md-mozilla-five-home.patch
Content-Type: text/x-patch; name=md-mozilla-five-home.patch; charset=iso-8859-1
Content-Transfer-Encoding: 7bit

--- MonoDevelop/monodevelop.in	2004-02-11 09:36:23.000000000 +1100
+++ MonoDevelop.changed/monodevelop.in	2004-02-20 14:54:16.000000000 +1100
@@ -4,6 +4,8 @@
 	MOZILLA_HOME=$MOZILLA_FIVE_HOME
 elif [ -f @MOZILLA_HOME@/chrome/comm.jar ]; then
         MOZILLA_HOME=@MOZILLA_HOME@
+elif cat `which mozilla` | grep MOZILLA_FIVE_HOME=; then
+	MOZILLA_HOME=$(cat $(which mozilla) | grep MOZILLA_FIVE_HOME= | cut -d '"' -f 2)
 else
 	echo "Cannot find mozilla installation directory. Please set MOZILLA_FIVE_HOME to your mozilla directory"
 	exit 1

--=-ldpk9poIlXsn1n0Ctk+q--