There is already a JIRA issue. http://jira.codehaus.org/secure/ViewIssue.jspa?key=MAVEN-605
> -----Original Message----- > From: Martin Skopp [mailto:[EMAIL PROTECTED] > Sent: Tuesday, 21 October 2003 5:10 PM > To: Maven Developers > Subject: Use another file instead of ${user.home}/build.properties ? > > > Hi gurus, > > I like to use another file instead ${user.home}/build.properties. > > I like to specify a alternative filename e.g. on the maven > CLI or by a system property (e.g. maven > -Duser.properties.file=C:\maven.build.properties/via $MAVEN_OPTS). > > I have the problem here that build.properties as filename is > already in use by another program/project/whatever and I > don't want to interfere with that file. The other project > can't change it's filename. > > Before I start to create a JIRA entry/submit a patch I like > to hear your opinion - do you find this also potentially > useful and will it be added if documented properly? > > I already identified the line 766 in MavenUtils.java > --SNIP-- > File userBuildPropertiesFile = > new File( System.getProperty( "user.home" ), "build.properties" ); > --SNIP-- > being responsible for the filename "${user.home}/build.properties"... > > Cheers, > -- > Martin Skopp > Riege Software International GmbH > Support: mailto:[EMAIL PROTECTED], Information: http://www.riege.com > > This email is intended to be viewed with a nonproportional > font. Public Key on http://www.keyserver.net, Key-ID: 3D4027B5 > Fingerprint: 1970 C78D 9A1D 99FA 5CE4 5C0D 29E6 6A95 3D40 27B5 > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] >
