From 6daeb203971e6bdc74ac7cebcb774fa39e9f8918 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Wed, 3 May 2023 10:40:26 +0100
Subject: [PATCH] Switched to a root-user setup for simplicity.

---
 isabelle_nightly/Dockerfile | 32 +++++++++++++++++---------------
 1 file changed, 17 insertions(+), 15 deletions(-)

diff --git a/isabelle_nightly/Dockerfile b/isabelle_nightly/Dockerfile
index bca174d..ee77922 100644
--- a/isabelle_nightly/Dockerfile
+++ b/isabelle_nightly/Dockerfile
@@ -36,20 +36,22 @@ LABEL isabelle.afp.url="https://foss.heptapod.net/isa-afp/afp-devel/"
 LABEL isabelle.sessions="$sessions"
 
 
-# Create default user (isabelle)
-RUN useradd -o -u $uid -m isabelle && (echo isabelle:isabelle | chpasswd)
-USER isabelle
-
 # Install Isabelle and corresponding AFP
-WORKDIR /home/isabelle
-RUN hg clone https://isabelle.sketis.net/repos/isabelle/ && \
-    hg clone https://foss.heptapod.net/isa-afp/afp-devel/ && \
-    isabelle/Admin/init && \
-    /home/isabelle/isabelle/bin/isabelle components -u afp-devel/thys && \
-    isabelle/Admin/init && \
-    perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="/home/isabelle/.isabelle",g;' isabelle/etc/settings && \
-    isabelle/bin/isabelle build -j 1 -b $sessions 
-
-ENV PATH="/home/isabelle/isabelle/bin:${PATH}"
-ENV HOME="/home/isabelle"
 USER root
+WORKDIR /root
+ENV HOME=/root
+RUN hg clone https://isabelle.sketis.net/repos/isabelle/ && \
+    isabelle/Admin/init && \
+    perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="/root/.isabelle",g;' isabelle/etc/settings && \
+    # Install AFP
+    hg clone https://foss.heptapod.net/isa-afp/afp-devel/ && \
+    isabelle/bin/isabelle components -u afp-devel/thys && \
+    isabelle/Admin/init && \
+    # cleanup 
+    rm -f /root/.isabelle/contrib/*.gz && \
+    (find . -name "x86_64-darwin*" -type d | xargs --no-run-if-empty rm -rf ) && \
+    (find . -name "x86_64-windows*" -type d | xargs --no-run-if-empty rm -rf ) && \
+    (find . -name "arm64*" -type d | xargs --no-run-if-empty rm -rf )
+RUN isabelle/bin/isabelle build -j 1 -b $sessions 
+ENV PATH="/root/isabelle/bin:${PATH}"
+