From 354491e0239dbf7b73cdc8f7d6a6d46f6d66be4f Mon Sep 17 00:00:00 2001
From: yubiuser <ckoenig@posteo.de>
Date: Mon, 11 Mar 2024 03:55:07 +0100
Subject: [PATCH] Added `tini` as init system to improve signal handling in
 Docker container (#6892)

---
 Dockerfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index f15b12c1f..34809b8e1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -48,6 +48,7 @@ RUN \
     git-fast-import \
     jpeg-dev \
     openssh \
+    tini \
     zlib-dev \
 && \
   apk add --no-cache --virtual .build \
@@ -96,5 +97,5 @@ WORKDIR /docs
 EXPOSE 8000
 
 # Start development server by default
-ENTRYPOINT ["mkdocs"]
-CMD ["serve", "--dev-addr=0.0.0.0:8000"]
+ENTRYPOINT ["/sbin/tini", "--", "mkdocs"]
+CMD [ "serve", "--dev-addr=0.0.0.0:8000"]