diff --git a/Dockerfile b/Dockerfile index c88d0b8..2a7d23d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -8,7 +8,16 @@ RUN unzip master.zip -d /root/quicklisp/local-projects && rm master.zip RUN mv /root/quicklisp/local-projects/kenzo-master /root/quicklisp/local-projects/kenzo RUN cp /root/quicklisp/local-projects/kenzo/examples/*.ipynb /notebooks/ RUN cp /root/quicklisp/local-projects/kenzo/examples/*.png /notebooks/ -RUN chmod -R 0444 /notebooks # Install Kenzo RUN sbcl --eval "(ql:quickload :kenzo)" + +# Add Tini. Tini operates as a process subreaper for jupyter. This prevents +# kernel crashes. +ENV TINI_VERSION v0.6.0 +ADD https://github.com/krallin/tini/releases/download/${TINI_VERSION}/tini /usr/bin/tini +RUN chmod +x /usr/bin/tini +ENTRYPOINT ["/usr/bin/tini", "--"] + +EXPOSE 8888 +CMD ["jupyter", "notebook", "--port=8888", "--no-browser", "--ip=0.0.0.0"]