Introduction to deployment and virtualization (DEVI24-02 for IMAGE_S8)

Joseph Chazalon

February 2024

To contact us

Material for each session

All material is available on the Moodle course page.

General information

Using EPITA’s computers

Option 1: Use the NixOS Docker image

Should be pretty straightforward, docker is available upon login.

Option 2: Use podman with any NixOS image

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.

Using your own personnal computer

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.