Re: Use another file instead of ${user.home}/build.properties ?
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]
Re: Use another file instead of ${user.home}/build.properties ?
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 ?
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 ?
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]
>
