diff --git a/gitpod/gitpod.Dockerfile b/gitpod/gitpod.Dockerfile index d92c45d..0d3e67f 100644 --- a/gitpod/gitpod.Dockerfile +++ b/gitpod/gitpod.Dockerfile @@ -20,7 +20,7 @@ RUN curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add - ### VLANG ### USER root ENV VLANG_VERSION="0.1.24" -COPY gitpod/vlang_init3.sh /usr/bin/vlang_init +COPY gitpod/vlang_init4.sh /usr/bin/vlang_init RUN chmod +x /usr/bin/vlang_init RUN vlang_init || exit 1 diff --git a/gitpod/vlang_init3.sh b/gitpod/vlang_init4.sh similarity index 98% rename from gitpod/vlang_init3.sh rename to gitpod/vlang_init4.sh index 3f73740..cea4472 100644 --- a/gitpod/vlang_init3.sh +++ b/gitpod/vlang_init4.sh @@ -137,7 +137,7 @@ fi # Add gitpod user in vlang group if ! groups | grep -qF "$VLANG_GROUP"; then usermod -a -G "$VLANG_GROUP" gitpod || die 1 "Unable to transfer user 'gitpod' in user-group '$VLANG_GROUP'" - chmod 0775 "$VLANG_SOURCE" || die 1 "Unable to set ownership to '$VLANG_SOURCE" + chmod -R 0775 "$VLANG_SOURCE" || die 1 "Unable to set ownership to '$VLANG_SOURCE" edebug "User 'gitpod' has been added in user-group '$VLANG_GROUP'" elif groups | grep -qF $VLANG_GROUP; then edebug "User 'gitpod' is already in user-group '$VLANG_GROUP'"