Mise à jour du boot GRUB de démarrage.
GRUB est l’outil qui vous permet de choisir le système informatique à utiliser au moment du démarrage de votre ordinateur.
Vous l’utilisez en choisissant le nom du système avec les flèches “monter” et “descendre” du clavier.
Il arrive que ce système ne soit plus à jour après une modification de vos partitions du disque dur : voici donc comment le mettre à jour [1] :
dans un terminal, en ROOT, tapez les commandes :
jmi@MyX : # os-prober
jmi@MyX : # update-grub
Et voilà ! terminé.