This is an image designed for the devcontainer ecosystem along with targeting the development of projects in this bootc-dev organization, especially bootc.
- Rust, Go and C/C++ toolchains
- podman (for nested containers, see below)
nu- jj (Jujutsu) as a Git-compatible VCS frontend
- bcvk to launch bootc VMs
- tmt since bootc testing requires it
- Kani
- Goose AI coding agent
There are two images:
- ghcr.io/bootc-dev/devenv-debian which uses Debian sid as a base
- ghcr.io/bootc-dev/devenv-c10s which uses CentOS Stream 10 as a base
This image supports running podman and podman build inside the container
(podman-in-podman). The userns-setup script configures the environment at
container startup, handling both constrained (Codespaces, rootless) and full UID namespaces.
Note that in order to enable this you will also need to pair it with a devcontainer JSON.
See the Justfile, but it's just a thin wrapper around a default
of podman build of this directory.