Dear All,



I have a serious problem with installing new tools to our local Docker-galaxy-stable instance (latest version).

All tools seem to install without any issue from the tool shed. When I check under Manage installed tools they all show a green "installed" button.

However, the local tool shed is not updated anymore. none of the newly installed tools show up. It seems the shed_tool_conf.xml file is not updated.

the tools are all found in the folder shed_tools but not under tool-data, not sure if this means anything.

A work-around could be to manually enter these tools to the shed_tool_conf.xml file but to do this I wasn't able to find the guid for each tool. All other parameters are easy.

But this would be quite some effort and I am afraid that something is seriously wrong. 

It would be great to get your thoughts on this issue before I kill everything and start from scratch.

Thanks a lot.

Cheers,

Philipp 

PS: I am a wet lab scientist please be patient if I don't get everything immediately.