Add Dockerfile

Dockerfile

@@ -0,0 +1,31 @@
+FROM jupyter/minimal-notebook
+
+USER root
+
+RUN apt-get update && \
+    apt-get install -y --no-install-recommends \
+    curl verilator openssh-client \
+    openjdk-8-jre-headless openjdk-8-jdk-headless ca-certificates-java && \
+    apt-get clean && \
+    rm -rf /var/lib/apt/lists/*
+
+ADD . /home/$NB_USER/chisel-bootcamp
+
+RUN chown -R $NB_USER ~/chisel-bootcamp
+
+USER $NB_USER
+
+RUN curl -L -o coursier https://git.io/coursier && chmod +x coursier
+
+ARG SCALA_VERSION=2.12.8
+ARG ALMOND_VERSION=0.2.1
+
+RUN ./coursier bootstrap -r jitpack \
+    -i user -I user:sh.almond:scala-kernel-api_$SCALA_VERSION:$ALMOND_VERSION \
+    sh.almond:scala-kernel_$SCALA_VERSION:$ALMOND_VERSION \
+    --sources --default=true \
+    -o almond
+
+RUN ./almond --install && rm almond coursier
+
+RUN mkdir -p ~/.jupyter/custom/ && cp ~/chisel-bootcamp/source/custom.js ~/.jupyter/custom/

Install.md

@@ -1,4 +1,13 @@
-## Local Setup Instructions
+# Local Setup Instructions
+
+## Using Docker
+We publish images of the chisel-bootcamp to Docker Hub.
+To use it, run
+```
+docker run -e JUPYTER_ENABLE_LAB=yes -p 8888:8888 ucbbar:chisel-bootcamp
+```
+
+## Local Installation
 
 If you want to run the bootcamp locally, run the following instructions below for your particular situation.
 Note that we include a custom javascript file for Jupyter, so if you already have Jupyter installed, you still need to install the custom.js file.