Fix TUE_INSTALL_GIT_PULL_Q check for real

tue-robotics · Apr 24, 2024 · 49eef2f · 49eef2f
1 parent d1737a6
commit 49eef2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/installer/tue-install-impl.bash b/installer/tue-install-impl.bash
@@ -519,7 +519,7 @@ function tue-install-git
         TUE_INSTALL_GIT_PULL_Q+=("${target_dir}")
     else
         # Check if we have already pulled the repo
-        if [[ ${TUE_INSTALL_GIT_PULL_Q[*]} =~ ^"${target_dir}"$ ]]
+        if grep -Fqw "${target_dir}" <<< "${TUE_INSTALL_GIT_PULL_Q[@]}"
         then
             tue-install-debug "Repo previously pulled, skipping"
             # We have already pulled this repo, skip it