New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Docker] Creating Docker image for dev env #29

Open

gxywang opened this issue Nov 13, 2023 · 0 comments

Assignees

Labels

code environment documentation

Contributor

gxywang commented Nov 13, 2023 •

edited

Loading

Setup Docker environment for unified & efficient development

Steps:

Build ROS 2 galactic in Docker via Dockerfile
Migrate VM env setup commands & scripts to Dockerfile commands & scripts
Add new packages to environment from this semester's progress

Helpful Resources:

gxywang added documentation code environment labels

Dandandooo self-assigned this

gxywang changed the title ~~Creating Docker image for dev env~~ [Docker] Creating Docker image for dev env

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment