Docker Development Image

This guide explains how to set up a Docker-based development environment for building and developing Dave repository and related software.

Step 1: Install Dependencies

Follow these steps to install required utilities on your host system.

Step 2: Build and run

Once you've installed the dependencies, you can build your Docker development environment with the following commands:

git clone https://github.com/Field-Robotics-Lab/dockwater.git
cd dockwater
./build.bash noetic
./run.bash noetic:latest

If the above is successful, you should end up with a command prompt opened into the Docker container. Your user information will be the same and your home directory will be mounted and accessible within the container.

Notes

• The build.bash and run.bash scripts may take a few minutes the first time they run.
• Code for the Docker development images is hosted in the dockerwater repository. See the repository wiki for more information about this project and supported use cases.

Next: Get the Source Code