add tini init pid 1 process in front of entrypoint

speeds up container shutdown, correctly forwards signals
ika-rwth-aachen · Apr 11, 2024 · faa3a9e · faa3a9e
1 parent fae0f2c
commit faa3a9e
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