On Thu 05 Apr 2012 at 11:48:57 +0000, Bonno Bloksma wrote: > AHA, an undocumented feature. At least, it is not documented in the > /etc/default/grub file itself.
You need to do: info grub Bet you didn't know about that. :) -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120405132030.GC16316@desktop