Merge pull request #768 from guzman-raphael/fix-docker

Fix lingering docker build permission issues

Author: dimitri-yatsenko

.dockerignore

@@ -0,0 +1,6 @@
+notebook
+build
+*.egg-info
+dist
+.vscode
+__pycache__

Dockerfile

@@ -1,5 +1,5 @@
 FROM datajoint/pydev
 
-ADD . /src
-RUN pip install --user /src && \
-    rm -rf /src
+COPY --chown=dja . /tmp/src
+RUN pip install --user /tmp/src && \
+    rm -rf /tmp/src