Hi all,
we are finally able to make the switch to use rootless podman containers for development by default.
`tools/dev_container` will now use podman if it is installed. If you do not have podman installed, please do so. A simple `apt install podman` will do on most debian-ish systems.
Using podman, we no longer rely on privileged docker containers running as root, which comes with all kinds of security concerns.
Please let me know if you encounter any issues with the new container.
Thank you,
Dennis