Vous n'êtes pas identifié(e).
Dernière modification par Bipbip (04-06-2017 20:22:50)
Hors ligne
5) Exécuter update-grub pour regénérer le menu de GRUB.
Ne pas modifier directement /boot/grub/grub.cfg. Les modifications seraient écrasées à la prochaine exécution de update-grub lors d'une mise à jour de noyau par exemple.
Dernière modification par raleur (03-06-2017 17:29:48)
Il vaut mieux montrer que raconter.
Hors ligne
J'ai ensuite exécuté update-grub.
Le menu a bien été corrigé.
Hors ligne