We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 437f1ef + 56e54a7 commit 357e758Copy full SHA for 357e758
base-notebook/start.sh
@@ -66,7 +66,7 @@ if [ $(id -u) == 0 ] ; then
66
# (it could be mounted, and we shouldn't create it if it already exists)
67
if [[ ! -e "/home/$NB_USER" ]]; then
68
echo "Relocating home dir to /home/$NB_USER"
69
- mv /home/jovyan "/home/$NB_USER"
+ mv /home/jovyan "/home/$NB_USER" || ln -s /home/jovyan "/home/$NB_USER"
70
fi
71
# if workdir is in /home/jovyan, cd to /home/$NB_USER
72
if [[ "$PWD/" == "/home/jovyan/"* ]]; then
0 commit comments