We have been setting-up a Galaxy and whenever we try to install tools from the Galaxy tool shed, they do not appear in the tool list on the interface. Via the admin panel, and on the back-side, we can see that the tools were installed succesfully however it appears that they have never been added to the shed_tool_conf.xml.

Is this default behavior? It seems like something is not going correctly, but I can't figure out what it is.