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 debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/89d1798a7351d040b4e74e0a043c69d701094...@hglexch-01.tio.nl
