Docker
Docker a wrapper around virtualisation interfaces including its own libcontainerd and LXC. See Docker (software) on enwiki. Wikimedia also runs its own docker-registry.
Installation
To install Docker on Debian: apt-get install docker.io (note it's NOT just "docker", that's an entirely unrelated package)
Publishing production images
Refer to Kubernetes/Images#Production images
Updating CI docker images
TODO: this should be moved somewhere else
When updating CI images follow the documentation at mw:Continuous integration/Docker MediaWiki. The basic process is:
- Update the changelog of the appropriate image to force a docker image rebuild. You can use docker-pkg (see MediaWiki page above)
- Update the image version in the CI job specification