You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@maven.apache.org by Martin Skopp <sk...@riege.com> on 2003/10/21 09:09:38 UTC
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:maint@riege.com, 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: dev-unsubscribe@maven.apache.org
For additional commands, e-mail: dev-help@maven.apache.org