On Sat, Oct 26, 2019 at 8:33 AM Javier Martinez Canillas <javier@dowhile0.org> wrote:
Hello Richard,

On Sat, Oct 26, 2019 at 1:23 PM Richard Shaw <hobbes1069@gmail.com> wrote:
> I removed it from my system and I'm about to reboot :)

Yes, it's OK to remove the grub2-pc package on an EFI system.

One problem, you can't keep grub2-breeze-theme if you remove grub2-pc, perhaps the dependency between them should be removed.

Thanks,
RichardÂ