Re: [galaxy-dev] Protocol for changing the section of an installed tool shed repo

2013-05-08 Thread Dave Bouvier
Joachim, 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

Re: [galaxy-dev] Protocol for changing the section of an installed tool shed repo

2013-05-08 Thread Björn Grüning
Hi Joachim, can you try to delete/rename integrated_tool_panel.xml, it is generated during start-up. Hope that helps, Björn Hi all, 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