dev container

JeffersonLab · Mar 14, 2024 · 72fab30 · 72fab30
1 parent f14c74a
commit 72fab30
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -37,7 +37,8 @@ USER ${RUN_USER}
 FROM prod as dev
 USER root
 RUN apt update \
-    && apt install git openjdk-17-jdk -y \
+    && apt install tini git openjdk-17-jdk -y
 # Tomcat prioritizes JRE_HOME over JAVA_HOME and we run with jdk8 and build wtih jdk17
-ENV JRE_HOME /opt/java/openjdk
-ENV JAVA_HOME /usr/lib/jvm/java-17-openjdk-amd64
+ENV JRE_HOME=/opt/java/openjdk
+ENV JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64
+ENTRYPOINT ["tini", "--", "sleep", "infinity"]