Editer la liste de démarrage du GRUB
Posté le 06 avril 2009 par Louis
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 !
Tags : Astuces, Logiciels Libres, Ubuntu |
Sur le même sujet :
- Comment passer à la nouvelle version de XFCE (la 4.4.3) sous Ubuntu Hardy ou Intrepid
- Comment éteindre le son d’Ubuntu à chaque démarrage
- FCKeditor : une interface WYSIWYG en PHP pour générer du HTML
- Liste de tous les paquets installés sur mon Linux actuellement.. et comment l’afficher, cette liste.
Faites un lien vers cet article sur votre site :
FOx15 dans 
dada dans 
Dace dans 
melogta dans 
