4. Docker

The Bare Minimum

echo "alias docker='sudo docker'" >> ~/.bash_aliases

docker run -i -t \
-v ~/catkin-build:/root/ros/catkin_ws/src \
--name build0 ksuart/catkin-build:depends-ros /bin/bash

docker start -i build0

docker exec -i -t <container_name> /bin/bash

docker exec -i -t <container_id> /bin/bash

docker ps

docker ps -a

docker ps -as

docker rm <name>

docker rm <container_id>

(running a container will automatically pull the required image, so this is normally unnecessary)

docker pull ksuart/catkin-build

docker pull ksuart/catkin-build:depends-ros

docker images -a

docker rmi <image_id>