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. :)