This is a new installation of Galaxy. I'm able to install tools, but they never appear in the list of installed tools.
These are what I believe to be the essential configuration files in galaxy.ini tool_sheds_config_file = config/tool_sheds_conf.xml tool_config_file = config/tool_conf.xml,config/shed_tool_conf.xml
The tools do appear in the list of installed tools in the administration panel. I have restarted Galaxy several times.
tool_conf.xml never appears to get updated.
The installed tools do appear in the tools dependency directory specified in galaxy.ini. tool_dependency_dir = /stockage/galaxy/dependency_dir
Thank you for your help,