From 1fd0e1b3120b24399558d9f9382d230bede6884b Mon Sep 17 00:00:00 2001
From: Pimpest <82343504+pimpest@users.noreply.github.com>
Date: Sat, 28 Feb 2026 15:27:16 +0100
Subject: [PATCH] fixed docker file

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 111d950..eecbf04 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -34,7 +34,7 @@ RUN rm -rf ./*
 
 RUN cat <<EOF >> /root/.bashrc
 source /opt/ros/jazzy/setup.bash
-if [[-f ./install/setup.bash ]]
+if [[-f ./install/setup.bash ]] then;
     source ./install/setup.bash
 if
 EOF