From 877a95d1624b9db134008dcae08f044fba69d727 Mon Sep 17 00:00:00 2001 From: Min RK Date: Sat, 27 May 2017 18:24:57 -0700 Subject: [PATCH] add JULIA_PKGDIR to chown in start.sh --- base-notebook/start.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/base-notebook/start.sh b/base-notebook/start.sh index 516c4993..3ae92d5b 100755 --- a/base-notebook/start.sh +++ b/base-notebook/start.sh @@ -9,7 +9,11 @@ if [ $UID == 0 ] ; then # Change UID of NB_USER to NB_UID if it does not match if [ "$NB_UID" != $(id -u $NB_USER) ] ; then usermod -u $NB_UID $NB_USER - chown -R $NB_UID $CONDA_DIR + for d in "$CONDA_DIR" "$JULIA_PKGDIR"; do + if [[ ! -z "$d" && -d "$d" ]]; then + chown -R $NB_UID "$d" + fi + done fi # Change GID of NB_USER to NB_GID if NB_GID is passed as a parameter