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"]