Re: reboot intelligent

> en utilsant grub. il suffit de faire un petit script qui change la
valeur de "default='menu_line_selection' dans /boot/grub.conf
> ou /boot/menu.lst

        /boot/grub/menu.lst plutôt.

                                                        Olivier