diff --git a/base-notebook/start.sh b/base-notebook/start.sh index c787fabf..55637fb7 100755 --- a/base-notebook/start.sh +++ b/base-notebook/start.sh @@ -17,7 +17,7 @@ if [ $(id -u) == 0 ] ; then # Handle username change. Since this is cheap, do this unconditionally echo "Set username to: $NB_USER" usermod -d /home/$NB_USER -l $NB_USER jovyan - + # Handle case where provisioned storage does not have the correct permissions by default # Ex: default NFS/EFS (no auto-uid/gid) if [[ "$CHOWN_HOME" == "1" || "$CHOWN_HOME" == 'yes' ]]; then @@ -60,7 +60,7 @@ if [ $(id -u) == 0 ] ; then fi # Add $CONDA_DIR/bin to sudo secure_path - sed -ri "s#Defaults\s+secure_path=\"([^\"]+)\"#Defaults secure_path=\"\1:$CONDA_DIR/bin\"#" /etc/sudoers + sed -r "s#Defaults\s+secure_path=\"([^\"]+)\"#Defaults secure_path=\"\1:$CONDA_DIR/bin\"#" /etc/sudoers | grep secure_path > /etc/sudoers.d/path # Exec the command as NB_USER with the PATH and the rest of # the environment preserved