cat ../docker/disco/Dockerfile