On Tue, Feb 6, 2024 at 5:44 AM Christian Bricart <christ...@bricart.de> wrote: > > Am 28.01.24 um 17:25 schrieb Mike Gilbert: > > […] > > +On upgrades, it is common for users to mismatch the grub-install options > > +they used for the current and previous versions of grub. This will cause > > +a stale core image to exist. For example: > > + > > +/boot/efi/EFI/BOOT/BOOTX64.EFI (grub 2.06 core image) > > +/boot/efi/EFI/gentoo/grubx64.efi (grub 2.12 core image) > > +/boot/grub/x86_64-pc/*.mod (grub 2.12 modules) > > despite x64, the path is always /boot/grub/i386-pc/*.mod for > GRUB_PLATFORMS=pc > > Christian
Also odd to conflate -pc and -efi setups in the same news item. If you installed to EFI, your modules are installed in /boot/grub/x86_64-efi/. If you installed "pc", e.g. old BIOS boot, you won't have those .efi files.