Use another file instead of ${user.home}/build.properties ?

2003-10-21 Thread Martin Skopp
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

RE: Use another file instead of ${user.home}/build.properties ?

2003-10-21 Thread Brett Porter
}/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

RE: Use another file instead of ${user.home}/build.properties ?

2003-10-21 Thread Martin Skopp
willing to help (but have no commit rights). -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 ? I like to use another file instead

Re: Use another file instead of ${user.home}/build.properties ?

2003-10-21 Thread Konstantin Shaposhnikov
change the source? I am +1 anyway, including willing to help (but have no commit rights). -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 ? I like

Re: Use another file instead of ${user.home}/build.properties ?

2003-10-21 Thread Martin Skopp
On Tue, 2003-10-21 at 17:34, Konstantin Shaposhnikov wrote: What about placing this file in ${user.home}/.maven/ directory by default and use ${user.home}/build.properties only if previous file (${user.home}/.maven/build.properties) not found? +2 -- Martin Skopp Riege Software International