Résultats plein texte:

modifier_demarrage_par_defaut

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

ions de démarrage disponibles dans le menu: <code bash> grep -e "menuentry\s" -e "submenu\s" /boot/grub/... ault/grub, reconstruire les fichiers de démarrage via la commande: <code bash> sudo update-grub </code>

supprimer_options_demarrage

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

déterminer l'UUID, plusieurs possibilités: <code bash> #via grub sudo grub-probe --target=fs_uuid --dev... modification du fichier /etc/default/grub: <code bash> sudo update-grub </code> ==== Références ===

windows7-non-detecte

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

s Windows 7. Executer **os-prober en root: <code bash> $ sudo os-prober </code> La commande doit retou... ement détecté, on met simplement à jour grub2 avec la commande: <code bash> $ sudo update-grub </code>

000_start

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

our afficher la version installée de grub2: <code bash> $ grub-install -V grub-install (GRUB) 2.

reinstaller_grub2

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

rage en mode Live (Essayer sans installer) <code bash> # Ajouter le dépôt dans l'environnement temporai