Update docker.txt