remove VOLUMNE definition from Dockerfile and store git credentials i…

…n home folder (not persistent)
MaastrichtU-IDS · Apr 8, 2024 · 73005e7 · 73005e7
1 parent f953046
commit 73005e7
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -169,13 +169,10 @@ USER ${NB_UID}
 ADD bin/* ~/.local/bin/
 
 ENV WORKSPACE="/home/${NB_USER}/work"
-ENV PERSISTENT_FOLDER="${WORKSPACE}/persistent"
-RUN mkdir -p $PERSISTENT_FOLDER
 WORKDIR ${WORKSPACE}
-VOLUME [ "${PERSISTENT_FOLDER}" ]
 
 # Presets for git
-RUN git config --global credential.helper "store --file $PERSISTENT_FOLDER/.git-credentials" && \
+RUN git config --global credential.helper "store --file $HOME/.git-credentials" && \
     git config --global diff.colorMoved zebra && \
     git config --global fetch.prune true && \
     git config --global pull.rebase false