Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 2 additions & 5 deletions docker/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -60,9 +60,8 @@ FROM ubuntu:jammy AS stage_deploy

COPY --from=stage_build /emsdk /emsdk

# Fallback in case Emscripten isn't activated.
# This will let use tools offered by this image inside other Docker images
# (sub-stages) or with custom / no entrypoint
# Set up emsdk environment
# This corresponds to the environment variables set during `source ./emsdk_env.sh`
ENV EMSDK=/emsdk \
EMSDK_NODE=/emsdk/node/15.14.0_64bit/bin/node \
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seeing this now I think we should remove EMSDK_NODE here.. its not used for anything that I know of.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also, EMSDK it only used locally within this file.. is there some way to declare it as local?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I removed the EMSDK_NODE env with commit f7c22d0.

The EMSDK env is probably still needed since it is also set by the emsdk_env.sh script, I clarified the origin of these env variables with commit 5d2b22c.

PATH="/emsdk:/emsdk/upstream/emscripten:/emsdk/upstream/bin:/emsdk/node/15.14.0_64bit/bin:${PATH}"
Expand All @@ -78,8 +77,6 @@ ENV EMSDK=/emsdk \
RUN echo "## Create emscripten user (1000:1000)" \
&& groupadd --gid 1000 emscripten \
&& useradd --uid 1000 --gid emscripten --shell /bin/bash --create-home emscripten \
&& echo "umask 0000" >> /etc/bash.bashrc \
&& echo ". /emsdk/emsdk_env.sh" >> /etc/bash.bashrc \
&& echo "## Done"

# ------------------------------------------------------------------------------
Expand Down