From 6aa7b9d58ce79ed43a191fd9af9c23bdad49d5c9 Mon Sep 17 00:00:00 2001 From: Krystian Hebel Date: Thu, 12 Oct 2023 18:06:43 +0200 Subject: [PATCH] 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 --- etc/grub.d/19_linux_xen_trenchboot | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/etc/grub.d/19_linux_xen_trenchboot b/etc/grub.d/19_linux_xen_trenchboot index 785a1ab..3cc1642 100755 --- 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=