Use podman instead of docker

Rationale for this proposal: Docker is usually not provided on shared compute clusters, e.g. at HPC centres,
because docker runs a daemon with root privileges creating potential security vulnerability. By contrast,
podman is daemonless and more lightweight and is built on the same principles as Docker's API.
This commit is contained in:
Matthias Krack 2025-05-20 14:55:48 +02:00
parent 1c7524e86b
commit 107e9aed79
56 changed files with 101 additions and 101 deletions

View file

@ -1,6 +1,6 @@
#
# This file was created by generate_dockerfiles.py.
# Usage: docker build -f ./Dockerfile.test_precommit ../../
# Usage: podman build -f ./Dockerfile.test_precommit ../../
#
FROM ubuntu:24.04