From 87cbc7e99bbd324eb71b3b6a1f52ad5f697b1516 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Sun, 29 Nov 2015 21:31:54 -0600 Subject: [PATCH] Build Docker image with 'docker build -t image_name .' Run with 'docker run -d -p 8888:8888 image_name' --- Dockerfile | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 Dockerfile diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..3659b54 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,11 @@ +FROM sergiobuj/cl-jupyter +MAINTAINER gheber + +RUN apt-get update + +# 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/