You are viewing a plain text version of this content. The canonical link for it is here.
Posted to users@maven.apache.org by Henri Yandell <ba...@generationjava.com> on 2004/02/23 15:29:48 UTC
changing the maven repo location
Not something that leaps out to me from the faq, wiki or site, but what's
the variable to change where a user's maven repository/plugin are located?
I want to run two maven's under one user without interaction.
Thanks,
Hen
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org
Re: changing the maven repo location
Posted by Tim Chen <tc...@tampabay.rr.com>.
Hi Henri,
Look at
maven.plugin.dir default ${maven.home}/plugins
maven.repo.local default ${maven.home.local}/repository
Each individual user can set his or her preferences by putting those in
their ${home}/build.properties
-Tim
Henri Yandell wrote:
>Yep. Well, it's not user-based but script-based, but yeah that's what I
>want.
>
>Thanks for the quick answer.
>
>Hen
>
>On Mon, 23 Feb 2004, John Casey wrote:
>
>
>
>>You probably want to set the environment variable MAVEN_HOME_LOCAL per
>>user, which will direct local repository stuff and expanded/installed
>>plugins to a user-specific directory. Is that what you mean?
>>
>>-john
>>
>>On Mon, 2004-02-23 at 09:29, Henri Yandell wrote:
>>
>>
>>>Not something that leaps out to me from the faq, wiki or site, but what's
>>>the variable to change where a user's maven repository/plugin are located?
>>>
>>>I want to run two maven's under one user without interaction.
>>>
>>>Thanks,
>>>
>>>Hen
>>>
>>>
>>>---------------------------------------------------------------------
>>>To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
>>>For additional commands, e-mail: users-help@maven.apache.org
>>>
>>>
>>--
>>John Casey
>>jdcasey@commonjava.org
>>CommonJava Open Components Project
>>http://www.commonjava.org
>>
>>
>>---------------------------------------------------------------------
>>To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
>>For additional commands, e-mail: users-help@maven.apache.org
>>
>>
>>
>
>
>---------------------------------------------------------------------
>To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
>For additional commands, e-mail: users-help@maven.apache.org
>
>
>
>
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org
Re: changing the maven repo location
Posted by Henri Yandell <ba...@generationjava.com>.
Yep. Well, it's not user-based but script-based, but yeah that's what I
want.
Thanks for the quick answer.
Hen
On Mon, 23 Feb 2004, John Casey wrote:
> You probably want to set the environment variable MAVEN_HOME_LOCAL per
> user, which will direct local repository stuff and expanded/installed
> plugins to a user-specific directory. Is that what you mean?
>
> -john
>
> On Mon, 2004-02-23 at 09:29, Henri Yandell wrote:
> > Not something that leaps out to me from the faq, wiki or site, but what's
> > the variable to change where a user's maven repository/plugin are located?
> >
> > I want to run two maven's under one user without interaction.
> >
> > Thanks,
> >
> > Hen
> >
> >
> > ---------------------------------------------------------------------
> > To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
> > For additional commands, e-mail: users-help@maven.apache.org
> --
> John Casey
> jdcasey@commonjava.org
> CommonJava Open Components Project
> http://www.commonjava.org
>
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
> For additional commands, e-mail: users-help@maven.apache.org
>
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org
Re: changing the maven repo location
Posted by John Casey <jd...@commonjava.org>.
You probably want to set the environment variable MAVEN_HOME_LOCAL per
user, which will direct local repository stuff and expanded/installed
plugins to a user-specific directory. Is that what you mean?
-john
On Mon, 2004-02-23 at 09:29, Henri Yandell wrote:
> Not something that leaps out to me from the faq, wiki or site, but what's
> the variable to change where a user's maven repository/plugin are located?
>
> I want to run two maven's under one user without interaction.
>
> Thanks,
>
> Hen
>
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
> For additional commands, e-mail: users-help@maven.apache.org
--
John Casey
jdcasey@commonjava.org
CommonJava Open Components Project
http://www.commonjava.org
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org
Re: changing the maven repo location
Posted by Tim Chen <Gi...@NielsenMedia.com>.
Hi Henri,
Look at
maven.plugin.dir default ${maven.home}/plugins
maven.repo.local default ${maven.home.local}/repository
-Tim
Henri Yandell wrote:
>Not something that leaps out to me from the faq, wiki or site, but what's
>the variable to change where a user's maven repository/plugin are located?
>
>I want to run two maven's under one user without interaction.
>
>Thanks,
>
>Hen
>
>
>---------------------------------------------------------------------
>To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
>For additional commands, e-mail: users-help@maven.apache.org
>
>
>
>
---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org