monodevelop-MOZILLA_FIVE_HOME.patch

   1 diff -urN monodevelop-0.4.orig/monodevelop.in monodevelop-0.4/monodevelop.in
   2 --- monodevelop-0.4.orig/monodevelop.in 2004-06-07 12:10:11.606204056 +0200
   3 +++ monodevelop-0.4/monodevelop.in      2004-06-07 12:11:21.456585184 +0200
   4 @@ -2,8 +2,8 @@
   5
   6  if test -n "$MOZILLA_FIVE_HOME"; then
   7         MOZILLA_HOME=$MOZILLA_FIVE_HOME
   8 -elif [ -f @MOZILLA_HOME@/chrome/comm.jar ]; then
   9 -        MOZILLA_HOME=@MOZILLA_HOME@
  10 +elif [ -f @MOZILLA_HOME@/mozilla/chrome/comm.jar ]; then
  11 +        MOZILLA_HOME=@MOZILLA_HOME@/mozilla
  12  elif $(which mozilla) && grep MOZILLA_FIVE_HOME= "$(which mozilla)" > /dev/null ; then
  13         MOZILLA_HOME=$(grep MOZILLA_FIVE_HOME= $(which mozilla) | cut -d '"' -f 2)
  14  else