Better device name deletion method

XANTH-IO · Jul 2, 2024 · 8d7dc75 · 8d7dc75
1 parent 346cad8
commit 8d7dc75
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/maintenance.yml b/.github/workflows/maintenance.yml
@@ -171,7 +171,11 @@ jobs:
                 echo "Device ${dev} is not supported"
               else
                 echo "Device ${dev} is already supported"
-                MISSINGS=(${MISSINGS[@]/${dev}})
+                for i in "${!MISSINGS[@]}""; do
+                  if [[ ${MISSINGS[i]} = ${dev} ]]; then
+                    unset 'MISSINGS[i]'
+                  fi
+                done
               fi
             done
             if [ 0 -ne ${#MISSINGS[@]} ]; then