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: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
-- John Casey [EMAIL PROTECTED] CommonJava Open Components Project http://www.commonjava.org
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
