Grub config file editing

[Tim]

Tim:
>> Yes you can.  Just go into the edit mode for the menu, make changes as
>> necessary to the options GRUB will use to boot with, and boot.

Dotan Cohen:
> Er, how? I could not find any text editors in the options.

Press the e key.  I though there were even prompts for that, but I'm not
going to reboot, now, to look at the GRUB screens.

The manuals, plus the GRUB website, should have all the gory details
about doing this sort of thing.

-- 
Don't send private replies to my address, the mailbox is ignored.
I read messages from the public lists.