From bd26d84738c2cc109d645b2153df55a9e9bf6bf8 Mon Sep 17 00:00:00 2001
From: Pascal Schade <pascal@zauberzeug.com>
Date: Wed, 25 Sep 2024 09:00:02 +0200
Subject: [PATCH] check if zedxmini repo is available

---
 docker.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/docker.sh b/docker.sh
index e9969c18..3b6ed0fb 100755
--- a/docker.sh
+++ b/docker.sh
@@ -68,8 +68,12 @@ case $os in
 esac
 export DOCKER_BUILDKIT=1
 
-if [ -d /usr/local/zed ] && [ -d ../zedxmini ]; then
-    compose_args="$compose_args -f docker-compose.jetson.orin.zedxmini.yml"
+if [ -d /usr/local/zed ]; then
+    if [ -d ../zedxmini ]; then
+        compose_args="$compose_args -f docker-compose.jetson.orin.zedxmini.yml"
+    else
+        echo "Zed X Mini not found. https://github.com/zauberzeug/zedxmini"
+    fi
 fi
 
 cmd=$1