Tool missing from Galaxy

First, restart Galaxy and watch the log for lines like:

Loaded tool id:, version: 1.33 into tool panel....

After startup, check integrated_tool_panel.xml for a line like the following to be sure it was loaded properly and added to the toolbox (if not, check the logs further)

<tool id="" />

If it is a toolshed tool, check shed_tool_conf.xml for

<tool file="" guid="">

Additionally if you have multiple job handlers, sometimes, rarely they don’t all get the update. Just restart them if that’s the case. Alternatively you can send an (authenticated) API requested:

curl -X PUT
Still have questions?
Gitter Chat Support
Galaxy Help Forum
Want to embed this snippet (FAQ) in your GTN Tutorial?
{% snippet  topics/admin/faqs/ %}
Persistent URL
Resource purlPURL: