Question: How to update the tool menu
0
lachlan.simpson • 20 wrote:
Sometimes I want to move tools around within the tool list/menu that appears in the left hand column of the galaxy main page.
I understand that editing config/tool_conf.xml is where this can happen, and indeed it does affect the changes I make - but only on complete rebuild of the server. I'm finding that an edit and a reboot, or restart of supervisord, or restart of httpd, or some combination of, isn't sufficient to "reset" the menu.
What am I missing?
ADD COMMENT
• link
•
modified 10 weeks ago
by
Martin Čech ♦♦ 4.9k
•
written
10 weeks ago by
lachlan.simpson • 20
Hi Lachlan
Try removing "integrated_tool_panel.xml" first, before you do a restart. Or re-name it first, then you can easily compare the old and the new tool list.
Regards, Hans-Rudolf