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

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

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

2003-10-21 Thread Martin Skopp
On Tue, 2003-10-21 at 09:34, Brett Porter wrote: http://jira.codehaus.org/secure/ViewIssue.jspa?key=MAVEN-605 Thanks, Brett. I will add some comments there... The issue is unassigned / unscheduled - will one hold a voting for a new filename or just change the source? I am +1 anyway, including

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

2003-10-21 Thread Konstantin Shaposhnikov
Hi all. 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? build.properties is only configuration file that is not hidden in my linux home directory (i.e.

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