====== Docker ======
===== Installation unter Debian ====
Packete installieren
apt install docker.io docker-cli
Nutzer der Dockergruppe hinzufügen
usermod -aG docker username
Danach Rechner durchbooten, oder Nutzer einmal ab- und anmelden, damit die Gruppenänderungen wirksam werden.
===== Ersten Container starten =====
docker run -d -p 8080:80 docker/welcome-to-docker
Anzeigen lassen aller laufender Container
docker ps
Anzeigen aller auf dem System befindlichen Container
docker ps -a
Container stoppen
docker stop CONTAINER ID
Container vom System löschen
docker rm CONTAINER ID