]> git.pld-linux.org Git - packages/monodevelop.git/blame - monodevelop-MOZILLA_FIVE_HOME.patch
- up to version 0.4
[packages/monodevelop.git] / monodevelop-MOZILLA_FIVE_HOME.patch
CommitLineData
e54a2e75 1diff -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
34eb5987 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
e54a2e75 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)
34eb5987 14 else
This page took 0.065222 seconds and 4 git commands to generate.