Docker

Docker is a virtualization software that let’s you run software in a container, bundled with needed libraries and configuration files.

Warnung

If you never heard of it, you should ask someone to explain it to you or look at tutorials like the german docker tutorial by Morpheus. This guide will not cover it.

Basic commands

  • docker ps: Will list all running containers with associated information

  • docker system prune: Will remove all stopped containers, all networks not used by at least one containers and all dangling images

  • docker exec -it CONTAINER_NAME sh: Executes a command, here sh (a shell) in interavtive mode in the container with CONTAINER_NAME