Question: How to uninstall tool?
1
gravatar for 47760468
4.1 years ago by
47760468 • 10
China
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.

admin toolshed tool install local • 1.5k views
ADD COMMENT • link • modified 4.1 years ago • written 4.1 years ago by 47760468 • 10

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 .

ADD REPLY • link written 4.1 years ago by 47760468 • 10
1

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

ADD REPLY • link modified 4.1 years ago • written 4.1 years ago by fubar ♦ 1.1k

I have tried to updata my galaxy,thank you very much!

ADD REPLY • link written 4.1 years ago by 47760468 • 10
3
gravatar for fubar
4.1 years ago by
fubar ♦ 1.1k
Australia
fubar ♦ 1.1k wrote:

There's good stuff on the wiki - like https://wiki.galaxyproject.org/UninstallingRepositoriesFromGalaxy

ADD COMMENT • link written 4.1 years ago by fubar ♦ 1.1k
Please log in to add an answer.

Help
Access

Use of this site constitutes acceptance of our User Agreement and Privacy Policy.
Powered by Biostar version 16.09
Traffic: 167 users visited in the last hour