Enable configuration of UID of user in Docker container.

build.sh

@@ -29,6 +29,7 @@ set -e
 
 VERSION=${1:-2018}
 SESSIONS=${2:-"HOL"}
+DOCKERUID=${3:-`id -u`}
 
 # Generate base image
 docker build -t logicalhacking:debian4isabelle debian4isabelle
@@ -48,6 +49,7 @@ for url in $ISA_URL $AFP_URL/$AFP_TAR; do
 done
 
 docker build -t logicalhacking:isabelle$VERSION isabelle \
+             --build-arg uid=$DOCKERUID \
              --build-arg sessions=$SESSIONS \
              --build-arg isabelle=$ISA_URL \
              --build-arg afp=$AFP_URL/$AFP_TAR

isabelle/Dockerfile

@@ -29,6 +29,7 @@ FROM logicalhacking:debian4isabelle
 ARG isabelle
 ARG afp
 ARG sessions
+ARG uid
 
 LABEL isabelle.url="$isabelle"
 LABEL isabelle.afp.url="$afp"
@@ -37,7 +38,7 @@ LABEL isabelle.sessions="$sessions"
 SHELL ["/bin/bash", "-c"]
 
 # Create default user (isabelle)
-RUN useradd -m isabelle && (echo isabelle:isabelle | chpasswd)
+RUN useradd -u $uid -m isabelle && (echo isabelle:isabelle | chpasswd)
 USER isabelle
 
 # Install Isabelle and corresponding AFP