From abda3bfec41730810ee98e685b128f27ddc24c36 Mon Sep 17 00:00:00 2001 From: Michael Simacek Date: Wed, 1 Feb 2017 14:54:26 +0100 Subject: [PATCH 1/3] Adapt mvn script --- apache-maven/src/bin/mvn | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/apache-maven/src/bin/mvn b/apache-maven/src/bin/mvn index a3004f917..9b118717e 100755 --- a/apache-maven/src/bin/mvn +++ b/apache-maven/src/bin/mvn @@ -22,7 +22,7 @@ # # Environment Variable Prerequisites # -# JAVA_HOME Must point at your Java Development Kit installation. +# JAVA_HOME (Optional) Must point at your Java Development Kit installation. # MAVEN_ARGS (Optional) Arguments passed to Maven before CLI arguments. # MAVEN_OPTS (Optional) Java runtime options used when Maven is executed. # MAVEN_SKIP_RC (Optional) Flag to disable loading of mavenrc files. @@ -30,20 +30,22 @@ if [ -z "$MAVEN_SKIP_RC" ] ; then - if [ -f /usr/local/etc/mavenrc ] ; then - . /usr/local/etc/mavenrc - fi - if [ -f /etc/mavenrc ] ; then . /etc/mavenrc fi + if [ -z "$JAVA_HOME" ] ; then + . /etc/java/maven.conf + fi + if [ -f "$HOME/.mavenrc" ] ; then . "$HOME/.mavenrc" fi fi +export JAVA_HOME + # OS specific support. $var _must_ be set to either true or false. cygwin=false; mingw=false; @@ -68,7 +70,8 @@ done saveddir=`pwd` -MAVEN_HOME=`dirname "$PRG"`/.. +MAVEN_HOME="${_FEDORA_MAVEN_HOME:-`dirname "$PRG"`/..}" +unset _FEDORA_MAVEN_HOME # make it fully qualified MAVEN_HOME=`cd "$MAVEN_HOME" && pwd` -- 2.39.2