February 2025
All material is available on the Moodle course page.
Should be pretty straightforward, docker is available upon login.
Podman is an open-source, Linux-native tool designed to develop, manage, and run containers and pods under the Open Container Initiative (OCI) standards. Presented as a user-friendly container orchestrator developed by Red Hat, Podman is the default container engine in RedHat 8 and CentOS 8. It is advertised as a drop-in replacement for Docker (
alias docker=podman
).
cd /tmp/
wget -O podman-shell.nix https://bit.ly/podman-shell-nix-v20230224
nix-shell podman-shell.nix # Run this for each new shell you start
cd -
if which podman > /dev/null ; then echo "Podman is ready to use." ; else echo "There were some error activating Podman." ; fi
docker run --rm docker.io/library/hello-world
The above instructions need to be (partly) run for every new shell you start. You may want to update your nix configuration accordingly.
Make sure you have Docker installed and running. I recommend using Docker Engine (and not Docker Desktop) directly on Linux. On Windows / Mac, you will need Docker Desktop, and I’ll provide little or no assistance.