Hi, >> 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. :) Well.... I knew about info but when I want to know about syntax I use mainly man, but there is no man page for grub. Also the info pages start off with a lot off text before we get to the options in the /etc/default/grub file, that threw me of. ;-) Bonno Bloksma -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
