From b62c7170c6cfb043ad6963be5683cf4ce6103f3f Mon Sep 17 00:00:00 2001 From: Peter Parente Date: Sat, 2 Jun 2018 16:55:29 -0400 Subject: [PATCH] Fix some whitespace and quoting --- base-notebook/start.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/base-notebook/start.sh b/base-notebook/start.sh index 4ffe99f1..a58e1e38 100755 --- a/base-notebook/start.sh +++ b/base-notebook/start.sh @@ -96,8 +96,8 @@ else # container runs as. Check that the user has an entry in the passwd # file and if not add an entry. Also add a group file entry if the # uid has its own distinct group but there is no entry. - whoami &> /dev/null || STATUS=$? && true - if [[ "$STATUS" != "0" ]]; then + whoami &> /dev/null || STATUS=$? && true + if [[ "$STATUS" != "0" ]]; then if [[ -w /etc/passwd ]]; then echo "Adding passwd file entry for $(id -u)" cat /etc/passwd | sed -e "s/^jovyan:/nayvoj:/" > /tmp/passwd @@ -110,13 +110,13 @@ else echo "jovyan:x:$(id -u):" >> /etc/group fi else - echo 'Container must be run with group root to update passwd file' + echo 'Container must be run with group "root" to update passwd file' fi fi # Warn if the user isn't going to be able to write files to $HOME. if [[ ! -w /home/jovyan ]]; then - echo 'Container must be run with group users to update files' + echo 'Container must be run with group "users" to update files' fi else # Warn if looks like user want to override uid/gid but hasn't