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@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxx
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure
