Update scripts/_Team_Defines.bash

Co-authored-by: Manuel Muth <[email protected]>
b-robotized · Jun 25, 2024 · 5032ec8 · 5032ec8
1 parent 246d850
commit 5032ec8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/_Team_Defines.bash b/scripts/_Team_Defines.bash
@@ -99,7 +99,7 @@ function rtw-find-and-remove-core-files () {
 
   user_decision "Do you want to delete those files?" user_answer
   if [[ " ${positive_answers[*]} " =~ " ${user_answer} " ]]; then
-    find "${search_dir}" -type f -regex ".*core\.[0-9][0-9][0-9][0-9][0-9][0-9]" -delete
+find "${search_dir}" -type f -regex ".*core\.[0-9]+"
     notify_user "Files ARE deleted!"
   else
     notify_user "Files NOT deleted!"