Résultats plein texte:

modifier_demarrage_par_defaut

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

y\s" -e "submenu\s" /boot/grub/grub.cfg </code> <note> Si l'entrée est déclarée dans un sous menu, la v... *''GRUB_DEFAULT="submenu_entry>menu_entry"''** </note> Après modification du fichier /etc/default/grub

reinstaller_grub2

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

système Linux également présent sur la machine. <note> Dans le cas traité ici, la partition racine de la distribution GNU/Linux est intacte. </note> Tenter une réparation automatique via l'outil g

supprimer_options_demarrage

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

ST="UUID1@dev/sdx1 UUID2@/dev/sdx2 ..." </file> <note warning> Pour les **''chainloaders''** la syntaxe... ion ''info -f grub -n 'Simple configuration'''. </note> Pour déterminer l'UUID, plusieurs possibilités: