Build Environments

Read the Docs uses container virtualization to encapsulate documentation build processes. Each build spins up a new virtual machine using our base image, which is an image with the minimum necessary components required to build documentation. Virtual machines are limiting in CPU time and memory, which aims to reduce excessive usage of build resources.

Setup

Build environments use Docker to handle container virtualization. To perform any development on the Docker build system, you will need to set up Docker on your host system. Setup of Docker will vary by system, and so is out of the scope of this documentation.

Once you have Docker set up, you will need to pull down our build image. These images are found on our Docker Hub repository, the source comes from our container image repo.

Note

The size of the Docker images is around 5 to 9 GB.

To get started using Docker for build environments, you’ll need to pull down at least one build image. For example, to pull down our latest image:

docker pull readthedocs/build:latest

The default image used by our build servers is readthedocs/build:latest. This would be a good place to start testing as the latest version could operate differently. See DOCKER_IMAGE below for setting this configuration option.

After this image is downloaded, you can update your settings to use the new image – see Configuration.

Configuration

There are several settings used to configure usage of virtual machines:

DOCKER_ENABLE

True/False value used to enable the Docker build environment.

Default: False

DOCKER_LIMITS

A dictionary of limits to virtual machines. These limits include:

time
An integer representing the total allowed time limit (in seconds) of build processes. This time limit affects the parent process to the virtual machine and will force a virtual machine to die if a build is still running after the allotted time expires.
memory
The maximum memory allocated to the virtual machine. If this limit is hit, build processes will be automatically killed. Examples: ‘200m’ for 200MB of total memory, or ‘2g’ for 2GB of total memory.

Default: {'memory': '200m', 'time': 600}

DOCKER_IMAGE

Tag of a Docker image to use as a base image.

Default: readthedocs/build:latest

DOCKER_SOCKET

URI of the socket to connect to the Docker daemon. Examples include: unix:///var/run/docker.sock and tcp://127.0.0.1:2375.

Default: unix:///var/run/docker.sock

DOCKER_VERSION

Version of the API to use for the Docker API client.

Default: auto

Local development

On Linux development environments, it’s likely that your UID and GID do not match the docs user that is set up as the default user for builds. In this case, it’s necessary to make a new image that overrides the UID and GID for the normal container user:

contrib/docker_build.sh latest

This will create a new image, readthedocs/build-dev:latest. To build a different image, you can instead specify a version to build:

contrib/docker_build.sh 5.0

This will create a new image, readthedocs/build-dev:5.0.

You can set a local_settings.py option to automatically patch the image names to the development image names that are built here:

DOCKER_USE_DEV_IMAGES
If set to True, replace the normal Docker image name used in building readthedocs/build with the image name output for these commands, readthedocs/build-dev.