Control: tags -1 patch <https://salsa.debian.org/pham/shim-signed/-/commits/efidir_case/>I can create a merge request if you are interested in supporting this edge case.
On 29/11/2024 at 20:01, Pascal Hambourg wrote:
shim-signed postinst script runs grub-install [2] only if /boot/efi/EFI/ $bootloader_id (default=debian) exists and is a directory.If /boot is in a case-sensitive filesystem, /boot/EFI will not match.[1] I was surprised that grub-install does not mind using /boot/EFI, but indeed it tries /boot/EFI if /boot/efi does not exist or is not a directory.