gazebo-tooling / gzdev

Gazebo developers tool is an Outreachy project designed to facilitate many of the usual tasks that Gazebo developers face daily
Other
14 stars 3 forks source link

made --volume a separate argument #24

Closed adlarkin closed 3 years ago

adlarkin commented 3 years ago

Here's a proposal that breaks out --volume into a separate argument for ign-docker-env, as discussed here.

To pass in a single volume:

gzdev ign-docker-env citadel --vol /foo:/bar

To pass in multiple volumes, separate volumes with :::

gzdev ign-docker-env citadel --vol /foo:/bar::/ws:/baz

You can add on --rocker-args as a separate argument:

gzdev ign-docker-env citadel --vol /foo:/bar --rocker-args '--dev-helpers'