Résultats plein texte:

000_start

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

, modifier le fichier /etc/default/grub: <file> # valeurs par défaut (à remplacer) #GRUB_TIMEOUT_STYLE=hidden #GRUB_TIMEOUT=0 # valeurs de remplacement # Affiche systématiquement l... e démarrage ou d'installation quelques options pouvant être transmises au noyau Linux par grub: ^ Opt... | | acpi=off | désactive la gestion avancée de l’énergie | | pnpbios=off | Désactiv

modifier_demarrage_par_defaut

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

ger le choix de démarrage par défaut, modifier la valeur de la variable **GRUB_DEFAULT** présente dans le fichier de configuration /etc/default/grub. Pou... e> Si l'entrée est déclarée dans un sous menu, la valeur à définir devra avoir la forme **''GRUB_DEFAU

supprimer_options_demarrage

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

artitions à ignorer. Pour cela il faut ajouter la variable **GRUB_OS_PROBER_SKIP_LIST** dans le fichie