From 3a7d44c3895c8575a93259136837af23c5ead87e Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Thu, 18 Feb 2016 13:21:51 -0600 Subject: [PATCH] New Docker image for cl-jupyter. Minor tweaks. --- Dockerfile | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/Dockerfile b/Dockerfile index ae95bc5..c88d0b8 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,12 +4,11 @@ MAINTAINER gheber RUN apt-get update RUN apt-get -y install wget RUN wget https://github.com/gheber/kenzo/archive/master.zip -RUN unzip master.zip -d /root/quicklisp/local-projects +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 444 /notebooks -RUN chmod 444 /notebooks/* +RUN chmod -R 0444 /notebooks -# Update Quicklisp and install Kenzo +# Install Kenzo RUN sbcl --eval "(ql:quickload :kenzo)"