The extracted ones - I think downloaded stuff goes to MAVEN_HOME.
> -----Original Message----- > From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] > Sent: Friday, 12 September 2003 3:13 PM > To: Maven Developers List > Subject: RE: Core plugins? > > > Sounds good. That's where they go now, right? > $MAVEN_HOME_LOCAL/plugins. > -- > dIon Gillard, Multitask Consulting > Blog: http://blogs.codehaus.org/people/dion/ > > > Brett Porter <[EMAIL PROTECTED]> wrote on 12/09/2003 > 02:25:38 PM: > > > > We could remove the installation into MAVEN_HOME as part of > > > the plugin > > > processing. No big deal there. > > > > I think that is where plugin:download is targetted to as > well. If it > > is > not > > installed to the central plugin dir, then that will be out of sync > > with > the > > expanded plugins dir. > > > > > What about plugins from other parties, e.g. the maven-plugins > > > project. > > > They'd come from $MAVEN_REPO_LOCAL/maven-plugins/plugins > > > > > > I'd much rather the list of installed plugins be in a > > > different directory > > > to the repo. > > > > Good point - so how about just putting them in ~/.maven/plugins? > > > > - Brett > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] >
