Recherche
Voici les résultats de votre recherche.
Résultats plein texte:
- 000_start
- 1 Occurrences trouvées, Dernière modification :
- sélectionnera le choix précédent (nécessite de rajouter le paramètre GRUB_SAVEDEFAULT=true)
* ou le **t
- reinstaller_grub2
- 1 Occurrences trouvées, Dernière modification :
- 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 :
- ifier des partitions à ignorer. Pour cela il faut ajouter la variable **GRUB_OS_PROBER_SKIP_LIST** dans le
