Docker: Make it easier to run commands in the container

fair-acc · Apr 25, 2024 · 391e0e5 · 391e0e5
1 parent a77532c
commit 391e0e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -67,4 +67,4 @@ RUN apt-get update -y \
     && chown -R root:users $EMSDK_HOME && chmod -R 777 $EMSDK_HOME
 
 USER user
-ENTRYPOINT ["bash"]
+ENTRYPOINT ["/bin/bash", "-l", "-c"]