Skip to content
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.

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

Add ROS1 dockerfile #8

Merged
merged 3 commits into from
Oct 30, 2023
Merged

Conversation

Ryanf55
Copy link
Contributor

@Ryanf55 Ryanf55 commented Oct 27, 2023

Background

Modeled after https://github.com/nachovizzo/ros_in_docker, but just the dockerfile support. compose and devcontainers can come later as they are not essential.
I also clarify install instructions in README, as environment setup is decoupled from building.

The goal of this PR is simply to get things compiling. Supporting GUI (RVIZ) and everything can be a follow up as that's a bit tricky.

One aspect to decide is whether to bring the other repos in during the docker build with wstool (easy for users). Alternatively, we could allow/require them to already be checked out in the local environment, which would allow people to use their own modifications of the other libraries. A selectable way to manage this would be through the use of multi-stage dockerfiles.

Depending on when it's done, rosdep will still need to be run.

Tickets

Relates to #6
Depends on #10
Depends on #7
Depends on #15

* Modeled after https://github.com/nachovizzo/ros_in_docker
* Clarify install instructions in README

Signed-off-by: Ryan Friedman <[email protected]>
* This is needed if the apt cache doesn't exist

Signed-off-by: Ryan Friedman <[email protected]>
Signed-off-by: Ryan Friedman <[email protected]>
Copy link
Member

@Jaeyoung-Lim Jaeyoung-Lim left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@Jaeyoung-Lim Jaeyoung-Lim merged commit d6220c8 into ethz-asl:main Oct 30, 2023
2 checks passed
@Ryanf55 Ryanf55 deleted the add-ros1-dockerfile branch October 30, 2023 14:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants