Change WORKDIR to /home/jovyan/work.

briank-git · Sep 2, 2023 · 019dce0 · 019dce0
1 parent c62eaa7
commit 019dce0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dockerfiles/r-stat-301/Dockerfile b/dockerfiles/r-stat-301/Dockerfile
@@ -22,7 +22,8 @@ RUN apt-get update --yes && \
 
 USER ${NB_UID}
 
-WORKDIR "${HOME}"
+# Change workdir to $HOME/work so config files are preserved when bind mounting
+WORKDIR "${HOME}/work"
 
 # remove the "work/" directory added in an earlier layer...
 RUN rm -rf work