kreyren/Zernit
1
0
Fork 0
Code Issues 129 Pull Requests Releases Activity

jghkfg

Browse Source
This commit is contained in:
Kreyren 2020-02-07 16:39:02 +00:00
parent cbe46fb8f3
commit 344593d3a7
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gitpod/gitpod.Dockerfile
View File

@ -20,7 +20,7 @@ RUN curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add -
### VLANG ### ### VLANG ###
USER root USER root
ENV VLANG_VERSION="0.1.24" 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 chmod +x /usr/bin/vlang_init
RUN vlang_init || exit 1 RUN vlang_init || exit 1

2
gitpod/vlang_init3.sh → gitpod/vlang_init4.sh
View File

@ -137,7 +137,7 @@ fi
# Add gitpod user in vlang group # Add gitpod user in vlang group
if ! groups | grep -qF "$VLANG_GROUP"; then 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'" 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'" edebug "User 'gitpod' has been added in user-group '$VLANG_GROUP'"
elif groups | grep -qF $VLANG_GROUP; then elif groups | grep -qF $VLANG_GROUP; then
edebug "User 'gitpod' is already in user-group '$VLANG_GROUP'" edebug "User 'gitpod' is already in user-group '$VLANG_GROUP'"