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. doesn't start with dot). :)

Martin Skopp wrote:

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 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 ${user.home}/build.properties.



--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]



Reply via email to