etc/grub.d/19_linux_xen_trenchboot: ignore case of SINIT files

While Intel names ACMs more or less consequently, users sometimes rename those files, especially since those names have to be manually written into dom0 shell to copy them from another VM. Signed-off-by: Krystian Hebel <[email protected]>
TrenchBoot · Jan 11, 2024 · 6aa7b9d · 6aa7b9d
1 parent bfcc778
commit 6aa7b9d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/etc/grub.d/19_linux_xen_trenchboot b/etc/grub.d/19_linux_xen_trenchboot
@@ -189,11 +189,15 @@ xen_list=`for i in /boot/xen*; do
         if grub_file_is_not_garbage "$i" && file_is_not_sym "$i" ; then echo -n "$i " ; fi
       done`
 
+# Ignore case of SINIT files
+_shopt="$( shopt -p | grep nocaseglob)"
+shopt -s nocaseglob
 sinit_module_list=`for i in /boot/*SINIT*.BIN; do
   if grub_file_is_not_garbage "$i"; then
     echo "$i"
   fi
 done`
+eval "$_shopt"
 
 prepare_boot_cache=
 boot_device_id=