Question: How to uninstall tool?
1
47760468 • 10 wrote:
I have download a local galaxy . I have seen wiki ,knew how to install a tool,but I don't know how to uninstall a tool that I don't need anymore.
Thanks for answering.
It's very kind of you to answer my question ,But my Administration menu don't have the labeled Manage installed tool shed repositories in the menu's Server section .
That's very odd - it's there on all of mine and should exist if you installed any tools from the toolshed.
If a manual tool installation, just remove the entry from tool_conf.xml and restart.
Otherwise, you need that link to manage toolshed installed tools.
Do you have very recent code?
What does
hg tip
show
I have tried to updata my galaxy,thank you very much!