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

[Pascal Hambourg]

Control: tags -1 patch

On 26/12/2024 at 20:37, Cyril Brulebois wrote:
> Vincent Lefevre <vincent at vinc17.net> (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.