True - under rc1 you need to clean ~/.maven/plugins (the repository shouldn't matter).
Anyway, dIon has implemented this already... - Brett > -----Original Message----- > From: Christian Andersson [mailto:[EMAIL PROTECTED] > Sent: Thursday, 9 October 2003 5:32 PM > To: Maven Users List > Subject: Re: plugin:uninstall > > > Well the first one does not seem to work.. > > what I needed to do was the following to manually uninstall > the plugin. > > rm -r $MAVEN_HOME_LOCAL/plugins/groupId-pluginId-version > rm -r > $MAVEN_HOME_LOCAL/repository/maven/plugins/groupId-pluginId-version > rm $MAVEN_HOME/plugins/groupId-pluginId-version.jar > > and I keep forgetting one of those... > > and I still think a plugin:uninstall would work even if there > was some > plugins messed up, since the plugin:uninstall would depend on > no other > goals... unless ofcourse if the messed up plugin is a preGoal to the > plugin:uninstall goal... but I doubt that would ever happen. > > /Christian Andersson > > Rafal Krzewski wrote: > > Brett Porter wrote: > > > > > >>The manual process is > >>rm $MAVEN_HOME/plugins/groupId-pluginId-version.jar > >>The uninstall would be > >>maven -DpluginId=pluginId -DgroupId=maven -Dversion=version > >>plugin:uninstall > >> > >>The first one is shorter :) > > > > > > Plus, you can run the first one when your maven runtime is > completly > > messed up (for example by an invalid plugin!), but the other one > > requires the runtime to be at least a bit functional... > > > > R. > > > > > > > --------------------------------------------------------------------- > > 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] >
