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

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

diff --git a/devspace.sh b/devspace.sh
index 6711d781..de7cebf1 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