Bug#1107875: trixie version of GRUB_DISTRIBUTOR generates wrong titles

[Colin Watson]

Control: reassign -1 grub-common
Control: close -1
Control: forcemerge 1076723 -1

On Mon, Jun 16, 2025 at 02:44:45PM +0200, Paul Slootman wrote:
>On a freshly upgraded bookworm -> trixie system, the GRUB_DISTRIBUTOR
>command in /etc/default/grub:
>
>GRUB_DISTRIBUTOR=`( . /etc/os-release; echo ${NAME:-Debian} ) 2>/dev/null || echo Debian`
>
>causes menuentry lines like
>
>menuentry 'Debian GNU/Linux GNU/Linux' ....
>
>The double "GNU/Linux" looks really bad.

This seems to be a duplicate of #1076723, which is fixed in unstable.

Thanks,

-- 
Colin Watson (he/him)                              [cjwatson at debian.org]