you can put manually downloaded plugins into
{user.home}/.maven/plugins if you are sharing you rmaven installation
and only want them loaded for that user.On Wed, 18 Aug 2004 15:13:16 +0100, Charles Daniels <[EMAIL PROTECTED]> 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 > > > > > > Can anyone explain which directories of a maven installation are > > used by the > > plug-in management? I have a few general questions: > > > > 1. I believe that in older maven version (<1.0) maven was storing > > plug-ins in the {user.home}/.maven/plugins > > folder. Is this folder still needed or could I delete it? > > You can delete it. Plugins are now exploded into the > ${user.home}/.maven/cache directory. > > > > > 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. > > > > > > > Thanks in advance, > > > > Andreas > > > > > > > > --------------------------------------------------------------------- > > 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]
