Skip to content

Commit

Permalink
ci: remove uid gid from desmos-env
Browse files Browse the repository at this point in the history
  • Loading branch information
dadamu committed Nov 1, 2023
1 parent 9d34be8 commit 0529399
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions contrib/images/desmos-env/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,6 @@ RUN apt-get update && \
apt-get -y upgrade && \
apt-get -y install curl jq file

ARG UID=1000
ARG GID=1000

USER ${UID}:${GID}
VOLUME [ "/.desmos" ]
WORKDIR /.desmos
EXPOSE 26656 26657
Expand Down

0 comments on commit 0529399

Please sign in to comment.