Remove USER_ID

Author: rowleya

SpiNNaker-nmpiserv/Dockerfile

@@ -16,9 +16,7 @@
 FROM ubuntu:noble
 
 ARG DOCKER_GROUP_ID
-ARG USER_ID
 ENV DOCKER_GROUP_ID $DOCKER_GROUP_ID
-ENV USER_ID $USER_ID
 
 RUN apt update && apt install -y openjdk-21-jdk-headless maven git libltdl7 nginx
 

SpiNNaker-nmpiserv/docker-compose.yml

@@ -19,7 +19,6 @@ services:
       dockerfile: Dockerfile
       args:
         DOCKER_GROUP_ID: ${DOCKER_GROUP_ID}
-        USER_ID: ${USER_ID}
     container_name: nmpi-host
     env_file: .env
     ports:

SpiNNaker-nmpiserv/env.example

@@ -33,6 +33,3 @@ DATA_PATH=
 
 # The Group ID of the docker user (found from "getent group docker")
 DOCKER_GROUP_ID=
-
-# The User ID of the current user (found from "id" as the current user)
-USER_ID=