Docker Tutorial

Intro

A brief tutorial for how to use the dev environment.

Initial setup

Docker can be installed by following the instructions here.
Here's the TLDR instructions for Windows:

1. Run wsl --install in powershell.
2. Download and install docker from the link above.

VSCode usage

After opening the SpaceGrantEngine repository, you should get the following prompt:

If the prompt to reopen in container does not appear, press the button in the bottom left corner of VSCode, then press Reopen in Container:

After reopening in the container, the ROS image will be downloaded and configured according to the instructions in the Dockerfile. The image is quite large (~3.6 GB), so it may take a while.