It's available in CVS now to test :-) -- dIon Gillard, Multitask Consulting Blog: http://blogs.codehaus.org/people/dion/
Christian Andersson <[EMAIL PROTECTED]> wrote on 09/10/2003 05:31:42 PM: > 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] > --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]