As you discovered, deactivating a repository does not give you the
option to select a new tool panel section. However, if you select the
option to remove the repository from disk, and then reinstall it, you
will be presented with the tool panel section page, where you can
uncheck the 'no changes' box and either select or create a tool panel
section for the tools contained in the repository.
On 5/8/13 09:44:57.000, Joachim Jacob | VIB | wrote:
Stupidly enough, I installed a tool shed repo under 'root' of the
toolbox. Yes, it was EMBOSS5.0 (btw, installation went flawless!).
1. From the admin menu, I choose to unactivate the repo (manage tool
2. From the admin menu, I reinstalled the tool shed from Main Tool Shed,
and chose to put it under a section 'EMBOSS'. This to no avail: all
tools still under root.
3. I manually edited the shed_tool_conf.xml and added the section tags
4. The section is now displayed, containing the EMBOSS tools. BUT the
tools under the root of the toolbox are still there.
Any assistance here?
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
To search Galaxy mailing lists use the unified search at: