Use python base image

Author: joshuanianji

.devcontainer.json

@@ -2,8 +2,7 @@
 // README at: https://github.com/devcontainers/templates/tree/main/src/debian
 {
     "name": "Idris2 Dockerfiles",
-    // Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
-    "image": "mcr.microsoft.com/devcontainers/base:bullseye",
+    "image": "mcr.microsoft.com/devcontainers/python:1-3.11-bullseye",
     "features": {
         "ghcr.io/devcontainers/features/common-utils:2": {},
         "ghcr.io/devcontainers/features/docker-in-docker:2": {},