1.4 KiB
Docker
Docker is a virtualization software that deploys docker containers. Due to easy handling and reproducable environments it is a useful tool.
Installation
- Arch linux: run
pacman -S dockerto install docker - Ubuntu: visit the official installation guide
Another possibility is to try the official convenience script. To get and execute it run the following in your terminal.
curl -fsSL https://get.docker.com -o get-docker.sh
sudo sh get-docker.sh
Run Docker as non-root user
To run docker as a non-root user you need to add your user to the docker group.
To do this create the group docker if it doesn't exist sudo groupadd docker
and then add your user to the group using sudo usermod -aG docker $USER.
After that relog into your machine and you should be able to run
docker run hello-world.
Tools and Visualisation
The programs below are useful docker-management systems in different style.
Enable Nvidia GPUs
To use Nvidia GPUs with docker you need to install the nvidia-cuda-toolkit. There is a guide on marmelab that focusses on that topic.