Merge pull request AllenDowney#38 from piti118/master

Fix dockerfile for mybinder.org
iblignic · Nov 30, 2017 · b452b7d · b452b7d
2 parents 076c50b + 398211d
commit b452b7d
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -6,7 +6,12 @@ LABEL workdir.launchbot.io="/usr/workdir"
 LABEL 8888.port.launchbot.io="Jupyter Notebook"
 
 # Set the working directory
-WORKDIR /usr/workdir
+USER root
+ENV WORKDIR /usr/workdir
+WORKDIR ${WORKDIR}
+COPY code ${WORKDIR}
+RUN chown -R ${NB_USER} ${WORKDIR}
+USER ${NB_USER}
 
 # Expose the notebook port
 EXPOSE 8888