Résultats plein texte:

000_start

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

se comportement par défaut, modifier le fichier /etc/default/grub: <file> # valeurs par défaut (à remp... ate-grub** produit le fichier de configuration ''/etc/grub/grub.cgf''. Il est déconseillé de l'éditer d... eau des fichiers de paramétrage qui sont: * **/etc/default/grub**: paramétrages généraux * les fichiers **/etc/grub.d/*_custom** paramétrages spécifiques ====

supprimer_options_demarrage

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

ble **GRUB_OS_PROBER_SKIP_LIST** dans le fichier /etc/default/grub: <file> GRUB_OS_PROBER_SKIP_LIST="U... onfiguration après toute modification du fichier /etc/default/grub: <code bash> sudo update-grub </cod... -grub2 * https://askubuntu.com/questions/453038/update-grub-ignoring-some-options-in-etc-default-grub

modifier_demarrage_par_defaut

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

AULT** présente dans le fichier de configuration /etc/default/grub. Pour lister les options de démarra... try"''** </note> Après modification du fichier /etc/default/grub, reconstruire les fichiers de démarr

reinstaller_grub2

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

et flasher la clé USB via [[software:applications:etcher|Balena Etcher]] ; * Redmarrer sur la clé et choisir l'option Depuis un démarrage en mode Live