Merge pull request #24 from ika-rwth-aachen/tini

Add tini as PID 1 process in front of entrypoint
ika-rwth-aachen · Apr 12, 2024 · c925799 · c925799
2 parents fae0f2c + faa3a9e
commit c925799
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -220,8 +220,11 @@ RUN source /opt/ros/$ROS_DISTRO/setup.bash && \
 RUN echo "source /opt/ros/$ROS_DISTRO/setup.bash" >> ~/.bashrc
 
 # set entrypoint
+ENV TINI_VERSION v0.19.0
+ADD https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini-${TARGETARCH} /tini
+RUN chmod +x /tini
 COPY docker/docker-ros/docker/entrypoint.sh /
-ENTRYPOINT ["/entrypoint.sh"]
+ENTRYPOINT ["/tini", "--", "/entrypoint.sh"]
 
 ############ dev ###############################################################
 FROM dependencies-install as dev