From 63915e3cc25abebab07d099134b41bc48584df72 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 6 Jan 2019 01:01:09 +0000
Subject: [PATCH] Enable configuration of UID of user in Docker container.

---
 build.sh            | 2 ++
 isabelle/Dockerfile | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 3699801..3801d8e 100755
--- a/build.sh
+++ b/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
diff --git a/isabelle/Dockerfile b/isabelle/Dockerfile
index 957801c..aa8ae92 100644
--- a/isabelle/Dockerfile
+++ b/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