I've created a Docker image which contains a Galaxy + some tools installed from the toolshed (main) and some manually installed tools. Everything works fine.
I've pulled my docker image on several virtual machines (all are Ubuntu 16) (we'll need this for a training). My 3 first VMs are OK but on the last VMs I created, the tool CEAS (installed from the toolshed) does not appear in the tool panel.
The docker image is the same on all my VMs, all VMs have the same config, on all VMs the file "shed_tool_conf.xml" is the same and CEAS is present, but on my last VMs in the file "integrated_tool_panel.xml" the section "CEAS" is empty. It contains :
<section id="ceas" name="CEAS" version=""> </section>
<section id="ceas" name="CEAS" version=""> <tool id="toolshed.g2.bx.psu.edu/repos/pjbriggs/ceas/ceas/1.0.2-3" /> </section>
on the "good" VMs.
I've stopped and started a container from this Docker image several times without success. I've deleted the VM and started a new one several times still without success. I've run a docker container in interactive mode and checked the log files but I couldn't find a clue about a problem with CEAS.
I have other tools installed from the toolshed, they work fine.
If you have any idea of what the problem might be please let me know.