Docker Images¶
A table detailing the Docker images used to create the Dev Container can be found below. Click on an image to learn more about its features and how to update it.
| Image | Parent Image | Source Code | Why it is Rebuilt | Where it is Built |
|---|---|---|---|---|
pre-base |
Ubuntu 22.04 | base-dev.Dockerfile |
To install ROS or OMPL | Personal computer |
base |
pre-base |
base-dev.Dockerfile |
To install core dependencies | Workflow dispatch |
local-base |
base |
base-dev.Dockerfile |
To install core dev dependencies | Workflow dispatch |
dev |
local-base |
base-dev.Dockerfile |
To install dev dependencies | Workflow dispatch |
| Dev Container | dev |
Dockerfile |
To configure the Dev Container | VS Code |
docs |
mkdocs-material |
docs.Dockerfile |
To install and run docs site | VS Code (optional) |
website |
javascript-node |
website.Dockerfile |
To install and run website | VS Code (optional) |