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

Reply via email to