Neal Gompa wrote: > The binary RPM for grub's BIOS boot code is grub2-pc (and > grub2-pc-modules), not grub2.
Oh, it used to be just grub2 until F26 (included), I had either forgotten or not noticed at all that it had been renamed back in F27 already. (It used to be the case for years that grub2 was BIOS GRUB and grub2-efi was UEFI GRUB, I still do not see what the point in changing that was.) Kevin Kofler _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure