Résultats plein texte:

000_start

2 Occurrences trouvées, Dernière modification : il y a 4 ans

y> pour éditer une entrée du menu Si on souhaite modifier se comportement par défaut, modifier le fichier /etc/default/grub: <file> # valeurs par défaut (à remplacer

modifier_demarrage_par_defaut

2 Occurrences trouvées, Dernière modification : il y a 4 ans

{{tag>sysadmin grub boot}} ====== Grub2: Modifier l'option de démarrage par défaut ====== Pour changer le choix de démarrage par défaut, modifier la valeur de la variable **GRUB_DEFAULT** présent