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) [cjwat...@debian.org]
