fix: handle empty matches and filenames with spaces properly #1948

1. 
   0xstratus commented at 10:56 am on September 2, 2025: none

   made a few tweaks to make the script behave better:

   • turned on shopt -s nullglob so the loop skips *.mediawiki when there are no files.
   • put quotes around $fname in grep so filenames with spaces don’t break things.
   • switched if [ "$GRES" != "" ] to if [ -n "$GRES" ] — just cleaner and more reliable.
2. fix: handle empty matches and filenames with spaces properly 5fcc88d707
3. jonatack added the label CI on Sep 2, 2025
4. 
   jonatack commented at 10:49 pm on September 2, 2025: member

   0> so the loop skips *.mediawiki when there are no files.
   1
   2> so filenames with spaces don’t break things.
   

   @0xstratus thank you for your proposal, but neither of these cases seem relevant to the context here.

5. jonatack closed this on Sep 2, 2025

   ---

Contributors
0xstratus jonatack

Labels
CI