Question: How to update the tool menu
gravatar for lachlan.simpson
10 weeks ago by
lachlan.simpson20 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?

ui tools • 108 views
ADD COMMENTlink modified 10 weeks ago by Martin Čech ♦♦ 4.9k • written 10 weeks ago by lachlan.simpson20

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

ADD REPLYlink written 10 weeks ago by Hotz, Hans-Rudolf1.8k
gravatar for Martin Čech
10 weeks ago by
Martin Čech ♦♦ 4.9k
United States
Martin Čech ♦♦ 4.9k wrote:

The order of tool sections and the tools within the section is determined by the integrated_tool_panel.xml file. If you want to reorder it, change the order in that file. Changing the order anywhere else is not guaranteed to work (depends on the tool).

ADD COMMENTlink written 10 weeks ago by Martin Čech ♦♦ 4.9k
Please log in to add an answer.


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