lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Allow non-unique uids.

This commit is contained in:
Achim D. Brucker 2021-01-13 22:50:30 +00:00
parent 72212b998c
commit 1e8603f50e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
isabelle/Dockerfile
View File

@ -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