Le jeu 31/07/2003 à 06:11, Elton Woo a écrit : > On Wednesday 30 July 2003 16:26, Stephen Smoogen Stephen Smoogen > <smoogen at lanl.gov> wrote: > > I would recommend a F key or similar option in the GRUB menu to do this