On Wed, 2003-07-30 at 16:42, Jeremy Katz wrote: > On Wed, 2003-07-30 at 16:26, Stephen Smoogen wrote: > > I would recommend a F key or similar option in the GRUB menu to do this