You will run ROS within docker containers started by dts devel run. You need to be in the root (base directory) of your git repo to run this. Start the container using this command:
$ dts devel run -M --cmd bash
You will have to source your environment and possibly rebuild (if adding packages/message types/services) using these commands:
$ source /code/catkin_ws/devel/setup.bash $ catkin build $ source /code/catkin_ws/devel/setup.bash
Attach additional terminals using this command:
$ dts devel run attach
Or use the dts tools (note, this will only let you run one terminal)
$ dts start_gui_tools
$ git status
$ git add <files>
$ git commit -m <message>
$ git push
$ git tag <tag_name>
$ git push origin <tag_name>
A PDF containing: