The attached patch (grub-common.diff) has no effect with the current
versions of grub because when GRUB_DEFAULT=saved the generated code ends
up looking as follows:
set default="${saved_entry}
if [ \${saved_entry} ]; then
set default="\${saved_entry}"
fi
Also, this bug seems to be a duplicate of bug 574617 (although the
latter should really be attached to grub-common instead). So I propose
to close this bug.
--
Francois Gouget <fgou...@free.fr> http://fgouget.free.fr/
"Lotto: A tax on people who are bad at math." -- unknown
"Windows: Microsoft's tax on computer illiterates." -- WE7U
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
