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 05:35:37 GMT
you can still put manually downloaded plugins into
{user.home}/.maven/plugins for them to persist across installations

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


Mime
View raw message