From 5d943726766683a820bfbb6854918f8e79b83a17 Mon Sep 17 00:00:00 2001
From: Alexander Entinger <consulting@lxrobotics.com>
Date: Mon, 13 May 2024 08:33:34 +0200
Subject: [PATCH] Disable turning off of case-insensitivity.

---
 docker/run.sh | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/docker/run.sh b/docker/run.sh
index 3d94a20..f40e4f9 100755
--- a/docker/run.sh
+++ b/docker/run.sh
@@ -2,8 +2,6 @@
 cd /tmp/colcon_ws
 . /opt/ros/humble/setup.sh
 
-shopt -s nocasematch
-
 if [[ "$1" = "build" ]]
 then
   echo "Rebuilding package robotem_rovne ..."
@@ -19,5 +17,3 @@ then
 else
   echo "Invalid command option"
 fi
-
-shopt -u nocasematch