CI + Dev-Workspace: disable automatic rollout and setup new Workspace #145
1 changed files with 1 additions and 1 deletions
|
@ -22,7 +22,7 @@ fi
|
||||||
if ! [ -f "$HOME/.git-credentials" ]; then
|
if ! [ -f "$HOME/.git-credentials" ]; then
|
||||||
echo -e "${YELLOW}~/.git-credentials not found!${RESET}"
|
echo -e "${YELLOW}~/.git-credentials not found!${RESET}"
|
||||||
fi
|
fi
|
||||||
if ! [ $(id -u) -eq "1000"]; then
|
if ! [[ $(id -u) -eq "1000"]; then
|
||||||
echo -e "${RED}Wrong UID (!=1000)${RESET}"
|
echo -e "${RED}Wrong UID (!=1000)${RESET}"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
Loading…
Reference in a new issue