forcemerge 536453 538099 thanks Am Mittwoch, den 22.07.2009, 20:45 -0430 schrieb Miguelangel Jose Freitas Loreto:
> > Please add GFXPAYLOAD into /etc/default/grub, this is usefull for people that > use vga=xxx, you can see the patch on attachment. > > Cheers. Hi, thanks for the patch. I would be very nice if you could forward this upstream at grub-de...@gnu.org. Though you need to subscribe first. Oh and please write a changelog entry. + if [ "x$3" != "x" ]; then + cat << EOF + gfxpayload=$3 +EOF + fi For consistency I'd use set gfxpayload=$3. -- Felix Zielcke -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
