Frédéric Mantegazza a écrit :
> On mercredi 07 mai 2008, Olivier Allard-Jacquin wrote:
>
>> Pour preuve : Modifie un paramètre non-crutial de
>> "/boot/grub/menu.lst", comme par exemple :
>>
>> color white/blue white/red
>>
>> et reboote ta Debian. Tu verras que la couleur du menu change, alors que
>> tu n'as pas lancé de "update-grub".
>
> À mon avis, ça fonctionne aussi sous debian ; je ne vois pas pourquoi ça ne
> marcherais pas. Ce que fait l'utilitaire update-grub, c'est simplement
> ajouter des entrées pour les noyaux dispos automatiquements, ainsi que
> mettre à jour des paramètres globaux (ceux avec un simple #). Mais si tu
> changes directement la config 'standard' de grub, y'a pas de raison qu'il
> ne retrouve pas ses petits.
Tout à fait. C'est exactement ce que j'ai écris... ;)
Tu remarques que dans la manipulation que je propose à Patrice (et que
tu cites), je NE parle PAS de lancer le "update-grub".
Cordialement,
Olivier
--
~~~~~~~ _____/\_____ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Phoenix / _ \/ _ \ Olivier Allard-Jacquin
/ / \ / \ \ Web: http://olivieraj.free.fr/
/___/ / \ \___\ Mail: olivieraj@???
~~~~ ///// ///\\\ \\\\\ ~~~~~~~~~~~~~~~~~~~~~~~ Linux Powered !!