Docker Help

docker.md

Docker

This install guide is used as the primary reference. Make sure to remove all old docker installs before continuing.

Also see: https://gist.github.com/edcote/0dfd1f9f26c628ba1a3dbb2860ebd7dd

Important commands

• List all containers docker ps -a
• Remove container docker rm #container
• List all images docker images
• Remove image docker rmi #image

RHEL7

yum install docker-ce

systemctl enable docker
systemctl restart docker
systemctl status docker
# (optional) use alternate disk to store docker images
ln -s <target location> /var/lib/docker

Ubuntu

sudo apt install docker.io
sudo service docker restart
# (optional) use alternate disk to store docker images
ln -s <target location> /var/lib/docker

Add user to docker group

sudo groupadd docker
sudo usermod -aG docker $USER

Directory structure

.
└── rsyn
    └── Dockerfile

Sample Dockerfile

FROM ubuntu:17.10

RUN apt-get update && apt-get install -y \
cmake                                    \
git                                      \
flex

• Build the container: docker build -t synopsys:v1.0 . (-t means tag, not the name of parent directory)
• Run command on the container: docker run -it synopsys:v1.0 bash (-i means interactive)

Running GUI applications

Use: docker run -it -v /tmp/.X11-unix:/tmp/.X11-unix -e DISPLAY=unix$DISPLAY --device /dev/dri rsyn

Hosting local Docker server

• info
• Run a local registry on the host: docker run -d -p 5000:5000 --restart=always --name registry registry:2