Development inside Docker

The Space Robotics Bench supports a Docker setup, which in itself provides an isolated development environment. By default, the .docker/run.bash script already mounts the source code into the container (can be disabled with WITH_DEV_VOLUME=false). In itself, this already makes the standalone Docker setup quite convenient for development.

Joint a Running Container

Once the Docker container is running, you can join the running Docker container with the .docker/join.bash script:

.docker/join.bash