docker

Docker Configuration

Instructions

Install Docker

Install docker in your host system by following the instructions here. Afterward, follow the post-install instructions here. This step is required to avoid using the sudo user during docker builds and runs, as we transfer the permissions of the host user to the docker user for display.

Depending on your system, you may also need nvidia-container-toolkit and Docker Buildkit.

Build Docker Image

Inspect the contents of build.sh and the Dockerfile, then run:

./build.sh

This process may take around 20 minuets, and consume about 13.7 GB of disk-space to store the docker image.

Note that we assume availability of NVIDIA GPUs during docker build and deployment.

Run Docker Image

Before running the docker image, check that the following directories are available in your host system:

IG_PATH="/home/corn/isaacgym"
CACHE_PATH="/home/corn/.cache/pkm"
DATA_PATH="/home/corn/datasets/"

Otherwise, configure the directories in run.sh so that ${IG_PATH} refers to a directory that exists in your filesystem. We use these directories to share persistent assets with the docker containers to avoid oversizing the images and reusing these assets across different runs.

Afterward, inspect the contents of run.sh. If it looks good, start the docker container:

./run.sh

By default, this will start you with a bash shell inside the container. Afterward, return to the main instructions and follow the instructions there!