Editer la liste de démarrage du GRUB

Un des avantages/inconvénients de Linux, c’est que les mises à jours sont fréquentes. Si cela permet de maintenir son système d’exploitation à jour, cela amène également à gonfler la liste du GRUB.

Pour l’éditer, et virer les mentions qui vous semblent inutiles, ouvrez simplement un terminal, et tapez-y :

sudo gedit /boot/grub/menu.lst

(si vous utilisez gedit comme éditeur de texte, sinon, vous pouvez mettre autre choses, comme par exemple vi, vim, mousepad, etc.).

Vous aurez ensuite à taper votre mot de passe, puis s’ouvrira l’éditeur de texte choisi avec le fichier menu.lst ouvert à l’intérieur.

Descendez à la ligne ## ## End Default Options ##, et repérez les blocs qui correspondent aux options disponibles lors du démarrage.

Supprimez les blocs qui vous dérangent, enregistrez, et c’est bon !