It would be nice if the custom Dockerfile could live in the src/ repo (in a git repo), rather than an untracked copy in the ROS workspace. This could be done with a symlink. Another option could change the syntax of the docker_override file to support either a Docker tag or a path to a Dockerfile.
It would be nice if the custom Dockerfile could live in the src/ repo (in a git repo), rather than an untracked copy in the ROS workspace. This could be done with a symlink. Another option could change the syntax of the
docker_overridefile to support either a Docker tag or a path to a Dockerfile.