Résultats plein texte:

000_start

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

====== ===== Afficher le menu Grub ===== Par défaut, le menu de Grub ne s'affiche pas pour les config... == Si on souhaite modifier le 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-disposition-touches-clavier-fr

5 Occurrences trouvées, Dernière modification : il y a 5 semaines

ll) en appuyant sur la touche <key>c</key>. Par défaut la disposition des touches du clavier (layout) es... UB pour qu'il utilise un layout différent mais il faut rester prudent. <note warning> Certains utilisat... Cela permet de conserver le layout existant par défaut et de le modifier seulement lors de l'appel de la... <code bash> # Affiche les valeurs utilisées par défaut terminal_input # Modifier le clavier et vérifier

modifier_demarrage_par_defaut

2 Occurrences trouvées, Dernière modification : il y a 5 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

demarrer-le-dernier-choix

1 Occurrences trouvées, Dernière modification : il y a 6 semaines

ateur GRUB_SAVEDEFAULT=true # GRUB démarre par défaut sur le dernier choix GRUB_DEFAULT=saved </file>

supprimer_options_demarrage

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

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