Added tini as init system to improve signal handling in Docker container (#6892)

This commit is contained in:
yubiuser 2024-03-11 03:55:07 +01:00 committed by GitHub
parent 8244ff332d
commit 354491e023
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

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