Résultats plein texte:

000_start

3 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... fault/grub'' **GRUB_DEFAULT** peut avoir une des valeurs suivantes: * un **chiffre** correspondant ... atique se définit avec le paramètre GRUB_TIMEOUT (valeur -1 pour désactiver la temporisation): =====

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