You’re very welcome!
Consideration:
(Added: 2024-01-13)
In a recent thread, it was revealed that Tuxedo are shipping their pre-installed Linux laptops with a non-standard (UEFI) boot configuration:
The ESP is mounted via a /boot
mount point rather than /boot/efi
, the more common convention. I’ve seen vague references to this an “upstream” preference, for many years, but rarely see it used in the wild.
Additionally, --bootloader-id=grub
seems to be universally applied irrespective of the installed distribution, which results in a $ESP/EFI/grub/grubx64.efi
bootloader path.
Grub should handle these variants without much fuss, and I presume the new script does, also. However, does it?