Résultats plein texte:

000_start

7 Occurrences trouvées, Dernière modification : il y a 3 ans

cli options kernel}} ====== Grub2 ====== Par défaut, le menu de Grub ne s'affiche pas pour les config... nu Si on souhaite modifier se comportement par défaut, modifier le fichier /etc/default/grub: <file> # valeurs par défaut (à remplacer) #GRUB_TIMEOUT_STYLE=hidden #GRUB_TI... le système installé. ==== En mode UEFI ==== Il faut localiser la partition contenant le fichier fichi

modifier_demarrage_par_defaut

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

===== 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

supprimer_options_demarrage

1 Occurrences trouvées, Dernière modification : il y a 3 ans

spécifier des partitions à ignorer. Pour cela il faut ajouter la variable **GRUB_OS_PROBER_SKIP_LIST**