Home

What is a docker image? What is a docker container?

Stackoverflow answer

Install Docker CE

https://docs.docker.com/v17.09/engine/installation/linux/docker-ce/ubuntu/#install-docker-ce

Install nvidia-docker 2.0

https://github.com/nvidia/nvidia-docker/wiki/Installation-(version-2.0)

Manage Docker as a non-root user

https://docs.docker.com/install/linux/linux-postinstall/

Download a TensorFlow Docker image

https://www.tensorflow.org/install/docker#download_a_tensorflow_docker_image

Create a container (example)

git clone git@github.com:UMich-BipedLab/docker_images.git

cd semantic_mapping_melodic

docker build --tag umrobotics/semantic_mapping_melodic .

bash run_cuda_docker.bash [container_name]

Open the container

docker ps -a

docker exec -it [container_name] /bin/bash

If you need to use sudo, just enter docker as root

docker exec -u root -it [container_name] /bin/bash

when you restart the machine and need to start your old docker container

docker ps -a --> Find you old container name

docker start [container_name]

The way to mount your disk to a container

• before your launch the new container: use docker run with disk mounting https://github.com/UMich-BipedLab/docker_images/blob/ef277bfb54a9a12b9055a95ede0d781320823498/cvo_gpu/run_cuda_docker.bash#L16
• to a running container: use docker stop [container_name] to stop and then use docker commit [container_name] to launch the container again, with disk mounting command in docker run

How to use Tmux and Docker together?

It is recommended to open a new tmux session first, and open docker container inside tmux.