From 0feb842e00c6fab55bc7b5dd932bb5469c8cb29a Mon Sep 17 00:00:00 2001
From: Michael Grote <michael.grote@posteo.de>
Date: Tue, 30 Jul 2024 11:44:32 +0200
Subject: [PATCH] ff

---
 devspace.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devspace.sh b/devspace.sh
index 48cb3a77..6711d781 100755
--- a/devspace.sh
+++ b/devspace.sh
@@ -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