Problems with F7 kernels

[Kam Leo]

On Nov 13, 2007 3:21 AM, Tim <ignored_mailbox at yahoo.com.au> wrote:
> On Tue, 2007-11-13 at 01:02 -0800, Kam Leo wrote:
> > 1. Edit /boot/grub/menu.lst and remove the "#" in front of
> > "hiddenmenu" so that you get a menu from which you can select a kernel
> > or other OS to boot.
>
> If you uncomment "hiddenmenu" the menu is hidden, and you have to press
> a key to see the menu.  If you comment it out, then you get a menu every
> time you boot.
>
> hiddenmen = a hidden menu
> #hiddenmenu = an un-hidden menu
>

Duh! You're absolutely correct. It was past my bed time when I wrote
the above. I hope everything else made sense.