From e0d2cbef3dc5613c96aab3f3fa984b57dde3f434 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Tue, 16 Feb 2016 16:27:19 -0600 Subject: [PATCH] Updated Docker config. --- Dockerfile | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/Dockerfile b/Dockerfile index 3659b54..ae95bc5 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,10 +2,14 @@ FROM sergiobuj/cl-jupyter 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 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/* # Update Quicklisp and install Kenzo -RUN sbcl --eval "(ql:update-client)" -RUN sbcl --eval "(ql:update-all-dists)" RUN sbcl --eval "(ql:quickload :kenzo)" - -RUN cp /root/quicklisp/dists/quicklisp/software/kenzo-*-git/examples/*.ipynb /notebooks/