enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2025-01-09 01:56:52 +03:00
Code Issues Projects Releases Wiki Activity

Update the ensodev user ID for docker (#1681)

Browse Source
This commit is contained in:
Łukasz Olczak 2021-04-15 12:15:17 +02:00 committed by GitHub
parent fa4775fe58
commit 17c6653206
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
tools/ci/docker/Dockerfile
View File

@ -4,22 +4,21 @@ USER root
ENV LOG_LEVEL=INFO
RUN groupadd -g 1001 enso
RUN useradd --system --create-home --uid 1001 --gid 1001 enso
RUN useradd -u 2000 -c 'Enso Developer' -U -M ensodev
ADD bin /opt/enso/bin
ADD component /opt/enso/component
ADD std-lib /opt/enso/std-lib
RUN chown -hR enso:enso /opt/enso
RUN chown -hR ensodev:ensodev /opt/enso
RUN chmod -R u=rX,g=rX /opt/enso
RUN chmod a+x /opt/enso/bin/*
RUN mkdir -p /volumes
RUN chown -hR enso:enso /volumes
RUN chown -hR ensodev:ensodev /volumes
RUN chmod -R u=rwX,g=rwX /volumes
USER enso:enso
USER ensodev:ensodev
WORKDIR /opt/enso