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]
