IDE: adjust the Docker env used by devcontainer

The base Docker image generated and made available by Microsoft [a]
already has an ubuntu user (UID=1000) and a vscode user (UID=1001)
registered. No problem occurs if we directly run a container based
on this image, even selecting vscode as user, but for some reason,
when someone uses the VS Code feature [b], 'vscode-server' creates
a container based on the image [a] but it defines the user who runs
the container on the host as UID=1001 (a non-existent user on my host).

This results in access denied issues on any file edited using VS Code.
Therefore, we need to at least create a workaround, forcing the vscode
user to be UID=1000.

[a] mcr.microsoft.com/vscode/devcontainers/base:noble
[b] The Dev Containers extension lets you use a Docker container as
    a full-featured development environment.

Signed-off-by: Claudio André <[email protected]>

Author: claudioandre-br

.github/actions/spelling/expect.txt

@@ -57,6 +57,7 @@ cyggomp
 cygz
 davidanson
 debhelper
+deluser
 devcontainer
 distro
 dmg

IDE/.devcontainer/Dockerfile

@@ -24,6 +24,7 @@ RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
 
 SHELL ["/bin/bash", "-o", "pipefail", "-c"]
 RUN curl --proto '=https' --tlsv1.3 https://sh.rustup.rs -sSf | bash -s -- -y
+RUN deluser --remove-home ubuntu
 
 USER vscode
 HEALTHCHECK NONE

IDE/.devcontainer/devcontainer.json

@@ -1,6 +1,5 @@
 {
   "name": "Ubuntu",
-  "remoteUser": "vscode",
   "mounts": [
     "source=/var/run/docker.sock,target=/var/run/docker-host.sock,type=bind"
   ],