Disable turning off of case-insensitivity.

107-systems · May 13, 2024 · 5d94372 · 5d94372
1 parent 74d07bf
commit 5d94372
Showing 1 changed file with 0 additions and 4 deletions.
diff --git 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