Fini les prises de tête compliquées pour modifier l’ordre de démarrage du grub.
Avec grub-legacy (Version d’ubuntu antérieur à la 9.04) il faut manipuler le fichier menu.lst situé dans /boot/grub/menu.lst
Puis avec Grub2 (à partir de la version d’Ubuntu 9.04) il faut manipuler le fichier grub.cfg situé dans /boot/grub/grub.cfg
Avec Grub Customizer vous manipulerez l’ordre de démarrage de vos systèmes d’exploitations mais aussi modifier leur nom ou encore changer le timeout (détermine le temps durant lequel le système par défaut se lancera si l’on ne touche a rien).
Pour l’installer, ouvrez un Terminal via Application > Accessoire > Terminal puis entrer les commandes suivante
| sudo add-apt-repository ppa:danielrichter2007/grub-customizer sudo apt-get update sudo apt-get install grub-customizer sudo cp-Rp /etc/grub.d /etc/grub.d.ori |
- La ligne : « sudo add-apt-repository ppa:danielrichter2007/grub-customizer » permet d’ajouter les dépots nécessaire à l’installation de Grub CustomizerLa ligne
- La ligne : « sudo apt-get update » permet de recharger la liste des paquets, étape essentielle lorsque l’on ajoute des dépots
- La ligne : « sudo apt-get install grub-customizer » permet d’installer le logiciel grub-customizer. (Installation possible grâce à l’ajout de dépots de la première ligne)
- La ligne : « sudo cp-Rp /etc/grub.d /etc/grub.d.ori » permet de faire une sauvegarde des fichiers de configuration de GRUB (Étape facultif mais important quand même pour revenir en arrière en cas de fausse manip)
Pour lancer Grub customizer il sufft d’entrer dans un terminal la commande grub-customizer ou aller dans Application > Accessoire > Grub Customizer
0 commentaires