Configure devcontainer to use same uid/gid as docker base

.devcontainer/Dockerfile

@@ -1,7 +1,15 @@
 FROM mcr.microsoft.com/devcontainers/python:3.11-bullseye@sha256:105bf6a63ab025206f019a371a735fec6553db0be520030c7a2fd0e002947232
 
+ARG userid=10001
+ARG groupid=10001
+
 WORKDIR /app
 
+# add a non-privileged user for installing and running the application
+RUN groupadd --gid $groupid app && \
+    useradd -g app --uid $userid --shell /usr/sbin/nologin --create-home app && \
+    chown app:app /app/
+
 # Install Debian packages
 RUN apt-get update && \
     apt-get install -y ripgrep

.devcontainer/devcontainer.json

@@ -22,5 +22,7 @@
         "charliermarsh.ruff"
       ]
     }
-  }
+  },
+  "remoteUser": "app",
+  "updateRemoteUserUID": false
 }

docker-compose.yml

@@ -61,6 +61,9 @@ services:
       service: test
     build:
       dockerfile: .devcontainer/Dockerfile
+      args:
+        userid: ${USE_UID:-10001}
+        groupid: ${USE_GID:-10001}
     image: tecken-devcontainer
     entrypoint: ["sleep", "inf"]