On Fri, Feb 5, 2021 at 2:40 PM PGNet Dev <pgnet.dev(a)gmail.com> wrote:
> Actually, the buggy file (/etc/grub.d/20_linux_xen) belongs to the grub2
> package, so the bug is assigned to a wrong package.
Not that it matters, but I'd originally assigned it to grub. It was ignored there
as well.
I switched it to Xen after I was told in #irc to do so.
Too much pushing rocks uphill for my taste. Building my own.
Sorry I didn't see this bug report until Neal pointed it to me.
The problem was in the 20_linux_xen script as Marek mentioned. Could
you please test the proposed fix in bugzilla? I don't have a Xen setup
to test.
Best regards,
Javier