> -----Original Message-----
> From: Brett Porter [mailto:[EMAIL PROTECTED]
> Sent: Thursday, August 19, 2004 6:36 AM
> To: Maven Users List
> Subject: Re: plug-in directories
>
>
> you can still put manually downloaded plugins into
> {user.home}/.maven/plugins for them to persist across installations
That's good, but what about plugins that are downloaded using the
plugin:download goal? These get put into MAVEN_HOME/plugins, not
${user.home}/.maven/plugins, which means that they don't persist across
maven installations. Should this be a Jira issue?
>
> On Wed, 18 Aug 2004 21:49:23 -0700, Andreas Guther
> <[EMAIL PROTECTED]> wrote:
> > If I put manually downloaded plugin jars into
> MAVEN_HOME/plugins than I have
> > to remember to copy them to the next installation, assuming that one is
> > not making
> > a newer installation over an older one, don't I?
> >
> > Wouldn't it better to have a plugins directory external to the versioned
> > MAVEN_HOME/plugins?
> >
> > I think that the previous solution was less dependent on the actual
> > installation of MAVEN.
> >
> > Andreas
> >
> > Charles Daniels wrote:
> >
> >
> >
> > >>-----Original Message-----
> > >>From: Andreas Guther [mailto:[EMAIL PROTECTED]
> > >>Sent: Wednesday, August 18, 2004 1:05 PM
> > >>To: Maven Users List
> > >>Subject: plug-in directories
> > >>
> > >>.....
> > >>
> > >>
> > >>2. When I manually download a plug-in jar file, where do I have to put
> > >>it that maven picks it up? In previous
> > >>versions it was recommended to put the plug-in jar file in the
> > >>{user.home}/.maven/plugins folder. If this folder
> > >>is not used anymore,where should I put such manual downloads?
> > >>
> > >>
> > >
> > >Place manually downloaded plugin jars into MAVEN_HOME/plugins.
> > >
> > >
> > >
> >
> > ---------------------------------------------------------------------
> > 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]
