There are two different code for Mantis and Turtlebot3. You can find them in ./src. They start with gazebo_ prefix. First, you need Rocker. In pure docker, you have to do some extra job to show the ...