Updates 'docker.txt'