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 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]

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 ${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:[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]

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 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.
-- 
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]

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. 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]

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 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]