Menu de démarrage de GRUB 2 |
Les ajusteurs Grub, une interface graphique (Gtk) permettant de configurer certains paramètres GRUB 2, peuvent être utilisés pour modifier l'ordre par défaut du menu de démarrage GRUB sans avoir à modifier manuellement les fichiers de configuration, tels que :/etc/default/grub
.
Pour modifier l'ordre du menu de démarrage GRUB à l'aide de Grub Customizer, accédez à List configuration
Tab, sélectionnez un élément du menu de démarrage et utilisez les flèches haut et bas pour modifier sa position :
Au lieu de modifier l'ordre du menu de démarrage GRUB, vous pouvez également modifier le système d'exploitation par défaut (entrée de démarrage sélectionnée par défaut). De cette façon, une entrée qui apparaît en dernier dans la liste de démarrage GRUB est automatiquement sélectionnée lorsque le menu de démarrage GRUB est chargé. L'option permettant de modifier l'entrée de démarrage GRUB par défaut est disponible dans Grub Customizer sur la page General settings
Tab - sélectionnez l'entrée de démarrage par défaut dans le predefined
Liste déroulante :
Après avoir apporté des modifications à votre menu de démarrage GRUB à l'aide de Grub Customizer, assurez-vous de cliquer sur Save
Bouton pour enregistrer la configuration et en générer une nouvelle grub.cfg
.
Grub Customizer peut être installé à partir des référentiels de certaines distributions Linux, notamment Debian et Fedora. Pour Ubuntu, il peut être installé à partir d'un PPA pour les versions d'Ubuntu antérieures à 19.04 (il se trouve dans les dépôts pour Ubuntu 19.04, 19.10, 20.04 et 20.10). Installer le personnalisateur Grub :
- Fedora :
sudo dnf install grub-customizer
- Debian-Sid, Buster ou Stretch (rétroportages) :
sudo apt install grub-customizer
- Ubuntu 18.10, 18.04, 16.04 et 14.04 / Linux Mint 19, 18 et 17 :
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt update
sudo apt install grub-customizer
Vous pouvez également télécharger (faire défiler vers le bas pour la dernière version) le package Grub Customizer DEB sans ajouter le PPA.
- Ubuntu 19.04 (Disco Dingo), 19.10 (Eoan Ermine), 20.04 (Focal Fossa) / Linux Mint 20 ou Ubuntu 20.10 (Groovy Gorilla) :
sudo apt install grub-customizer
Pour les autres distributions, recherchez Grub Customizer dans votre gestionnaire de packages ou consultez les instructions pour créer l'application source.