CI + Dev-Workspace: disable automatic rollout and setup new Workspace #145

Merged
mg merged 73 commits from image into master 2024-07-30 20:58:25 +02:00
Showing only changes of commit 8a2e48e10a - Show all commits

View file

@ -22,7 +22,7 @@ fi
if ! [ -f "$HOME/.git-credentials" ]; then
echo -e "${YELLOW}~/.git-credentials not found!${RESET}"
fi
if ! [[ $(id -u) -eq "1000"]; then
if ! [[ $(id -u) -eq "1000" ]]; then
echo -e "${RED}Wrong UID (!=1000)${RESET}"
exit 1
fi