Also copy hidden files/directories

cp -R does not copy hidden files/directories, causing issues (cfr #1465)
This commit is contained in:
Thijs Walcarius
2021-09-15 11:17:44 +02:00
committed by GitHub
parent 2ddf41a430
commit 93a6865aa3

View File

@@ -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