maven-users mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Brett Porter <brett.por...@gmail.com>
Subject Re: plug-in directories
Date Thu, 19 Aug 2004 23:06:50 GMT
yep, a JIRA issue to have the plugin plugin support installation to
the user directory is definitely a good idea.

On Thu, 19 Aug 2004 09:24:11 +0100, Charles Daniels <cjd4@yahoo.com> wrote:
> > -----Original Message-----
> > From: Brett Porter [mailto:brett.porter@gmail.com]
> > 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
> > <andreas.guther@guther.com> 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:Andreas.Guther@guther.com]
> > > >>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: 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
> 
>

---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org


Mime
View raw message