From 1e8603f50ebfa4173df92f609d927f3fc6f0198e Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 13 Jan 2021 22:50:30 +0000 Subject: [PATCH] Allow non-unique uids. --- isabelle/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isabelle/Dockerfile b/isabelle/Dockerfile index 5af78f9..3772778 100644 --- a/isabelle/Dockerfile +++ b/isabelle/Dockerfile @@ -37,7 +37,7 @@ LABEL isabelle.sessions="$sessions" # Create default user (isabelle) -RUN useradd -u $uid -m isabelle && (echo isabelle:isabelle | chpasswd) +RUN useradd -o -u $uid -m isabelle && (echo isabelle:isabelle | chpasswd) USER isabelle # Install Isabelle and corresponding AFP