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]