DevEnv team provides images for DevEnv 5+ located at https://quay.io/eso/devenv in Docker or Podman. Quay.io is a container registry operated by RedHat, which does not have restrictions on downloads from public repositories like Docker Hub.
DevEnv team provides images for DevEnv 6+ located at https://obs.hq.eso.org/elt/devenv/6/containers in Docker or Podman. Quay.io is a container registry operated by RedHat, which does not have restrictions on downloads from public repositories like Docker Hub.
The available versions are listed at https://obs.hq.eso.org/elt/devenv/6/containers/eltdev:latest
The available versions are listed at https://obs.hq.eso.org/elt/devenv/6/containers/eltdev:latest