Résultats plein texte:

000_start

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

==== Démarrer Windows depuis la console ===== La configuration de grub est contenue dans le fichier **grub.cfg**... === Reconfigurer Grub ===== Les modifications de configuration de grub2 se font depuis le système d'exploitation... 'utilitaire **update-grub** produit le fichier de configuration ''/etc/grub/grub.cgf''. Il est déconseillé de l'é

supprimer_options_demarrage

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

e dans la documentation ''info -f grub -n 'Simple configuration'''. </note> Pour déterminer l'UUID, plusieurs po... xx # via blkid sudo blkid </code> Regénérer la configuration après toute modification du fichier /etc/default/

modifier_demarrage_par_defaut

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

able **GRUB_DEFAULT** présente dans le fichier de configuration /etc/default/grub. Pour lister les options de dé