From 93a6865aa3540cd4df94aba312bbab5b9a9d147c Mon Sep 17 00:00:00 2001
From: Thijs Walcarius <thijs.walcarius@ugent.be>
Date: Wed, 15 Sep 2021 11:17:44 +0200
Subject: [PATCH] Also copy hidden files/directories

cp -R does not copy hidden files/directories, causing issues (cfr #1465)
---
 base-notebook/start.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-notebook/start.sh b/base-notebook/start.sh
index 4abbb1d3..498b8727 100755
--- a/base-notebook/start.sh
+++ b/base-notebook/start.sh
@@ -55,7 +55,7 @@ if [ "$(id -u)" == 0 ] ; then
         if [[ ! -e "/home/${NB_USER}" ]]; then
             echo "Copying home dir to /home/${NB_USER}"
             mkdir "/home/${NB_USER}"
-            cp -R /home/jovyan "/home/${NB_USER}" || ln -s /home/jovyan "/home/${NB_USER}"
+            cp -a /home/jovyan/. "/home/${NB_USER}/" || ln -s /home/jovyan "/home/${NB_USER}"
         fi
         # if workdir is in /home/jovyan, cd to /home/${NB_USER}
         if [[ "${PWD}/" == "/home/jovyan/"* ]]; then