Fix userid to 101 for theia user

ls1intum · Jun 26, 2024 · 3dec07c · 3dec07c
1 parent 5107c5b
commit 3dec07c
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/images/c/ToolDockerfile b/images/c/ToolDockerfile
@@ -47,7 +47,7 @@ COPY --from=plugin-image /home/theia/plugins /home/theia/plugins
 # Create theia user and directories
 # Application will be copied to /home/theia
 # Default workspace is located at /home/project
-RUN adduser --system --group theia
+RUN adduser --system --group theia --uid 101
 RUN chmod g+rw /home && \
     mkdir -p /home/project && \
     chown -R theia:theia /home/theia && \

diff --git a/images/haskell/ToolDockerfile b/images/haskell/ToolDockerfile
@@ -38,7 +38,7 @@ COPY --from=plugin-image /home/theia/plugins /home/theia/plugins
 # Create theia user and directories
 # Application will be copied to /home/theia
 # Default workspace is located at /home/project
-RUN adduser --system --group theia
+RUN adduser --system --group theia --uid 101
 RUN chmod g+rw /home && \
     mkdir -p /home/project && \
     chown -R theia:theia /home/theia && \

diff --git a/images/java-17/ToolDockerfile b/images/java-17/ToolDockerfile
@@ -37,7 +37,7 @@ COPY --from=plugin-image /home/theia/plugins /home/theia/plugins
 # Create theia user and directories
 # Application will be copied to /home/theia
 # Default workspace is located at /home/project
-RUN adduser --system --group theia
+RUN adduser --system --group theia --uid 101
 RUN chmod g+rw /home && \
     mkdir -p /home/project && \
     chown -R theia:theia /home/theia && \

diff --git a/images/ocaml/ToolDockerfile b/images/ocaml/ToolDockerfile
@@ -45,7 +45,7 @@ COPY --from=plugin-image /home/theia/plugins /home/theia/plugins
 # Create theia user and directories
 # Application will be copied to /home/theia
 # Default workspace is located at /home/project
-RUN adduser --system --group theia
+RUN adduser --system --group theia --uid 101
 RUN chmod g+rw /home && \
     mkdir -p /home/project && \
     chown -R theia:theia /home/theia && \

diff --git a/images/python/ToolDockerfile b/images/python/ToolDockerfile
@@ -44,7 +44,7 @@ COPY --from=plugin-image /home/theia/plugins /home/theia/plugins
 # Create theia user and directories
 # Application will be copied to /home/theia
 # Default workspace is located at /home/project
-RUN adduser --system --group theia
+RUN adduser --system --group theia --uid 101
 RUN chmod g+rw /home && \
     mkdir -p /home/project && \
     chown -R theia:theia /home/theia && \

diff --git a/images/swift/ToolDockerfile b/images/swift/ToolDockerfile
@@ -70,7 +70,7 @@ COPY --from=plugin-image /home/theia/plugins /home/theia/plugins
 # Create theia user and directories
 # Application will be copied to /home/theia
 # Default workspace is located at /home/project
-RUN adduser --system --group theia
+RUN adduser --system --group theia --uid 101
 RUN chmod g+rw /home && \
     mkdir -p /home/project && \
     chown -R theia:theia /home/theia && \