Résultats plein texte:

reinstaller_grub2

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

mode Live (Essayer sans installer) <code bash> # Ajouter le dépôt dans l'environnement temporaire sudo add

supprimer_options_demarrage

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

ifier des partitions à ignorer. Pour cela il faut ajouter la variable **GRUB_OS_PROBER_SKIP_LIST** dans le