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]



Reply via email to