Question: How to update the tool menu
0
gravatar for lachlan.simpson
4 days 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 • 38 views
ADD COMMENTlink modified 20 hours ago by Martin Čech ♦♦ 4.8k • written 4 days 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 4 days ago by Hotz, Hans-Rudolf1.8k
0
gravatar for Martin Čech
20 hours ago by
Martin Čech ♦♦ 4.8k
United States
Martin Čech ♦♦ 4.8k 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 20 hours ago by Martin Čech ♦♦ 4.8k
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: 154 users visited in the last hour