Bug#1076723: grub-common: duplicate GNU/Linux in menuentry and submenu lines of /boot/grub/grub.cfg

Sorry I was off for the holidays but the fix for this was discussed
and is planned very soon.

On Sat, Dec 28, 2024 at 10:54 AM Pascal Hambourg <[email protected]> wrote:
>
> Control: tags -1 patch
>
> On 26/12/2024 at 20:37, Cyril Brulebois wrote:
> > Vincent Lefevre <[email protected]> (2024-07-22):
> >>
> >> After a recent grub2 upgrade, there are now duplicate "GNU/Linux"
> >> in menuentry and submenu lines of /boot/grub/grub.cfg, e.g.
> >>
> >> menuentry 'Debian GNU/Linux GNU/Linux' --class debian --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-f3a51d21-c3a1-405d-b0fb-b0b25662b752' {
> >>
> >> submenu 'Advanced options for Debian GNU/Linux GNU/Linux' $menuentry_id_option 'gnulinux-advanced-f3a51d21-c3a1-405d-b0fb-b0b25662b752' {
> >
> > This also happens with fresh Trixie installations, and that looks
> > utterly silly… :(
> >
> > There were a number of follow-ups by Vincent, it'd be nice if someone
> > could look into getting that fixed.
>
> It seems that
> <https://salsa.debian.org/grub-team/grub/-/merge_requests/71> aims to
> address the issue in an alternative way.
>
> _______________________________________________
> Pkg-grub-devel mailing list
> [email protected]
> https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-grub-devel