I am following the installation of tool that is running within a docker container. I can run this tool on the command line of the Galaxy shell (the shell I use to run the Galaxy server). I followed the tuto at https://github.com/apetkau/galaxy-hackathon-2014/tree/master/smalt. Neverthess the tool is not launching the docker environment.
Currently, I replaced the tool command by a simple "uname -a" command that returns a different result upon its environment. The result is the same as in the Galaxy server shell. I don't see any "docker run" in the log of the Galaxy server. I don't get any complain that Galaxy is not able to run or find docker command (but maybe I miss it). I didn't configure anything to tell Galaxy about docker.
Is there any very simple test that can make me confident that Galaxy could use/launch docker?
I will consider any advice. Sorry if I miss the answer to a similar question, but there are so many Q/A concerning the Galaxy docker image that could not find my way.