Recherche
Voici les résultats de votre recherche.
Résultats plein texte:
- 000_start
- 1 Occurrences trouvées, Dernière modification :
- ise **entre guillemets** (pour lister les entrées disponibles saisir la commande %%grep -e "menuentry\s" /boot
- booter_linux_manuellement
- 1 Occurrences trouvées, Dernière modification :
- ne de commandes :
<code>
# lister les partitions disponibles
ls
# définir le chemin vers grub
set prefix=(hd
- modifier_demarrage_par_defaut
- 1 Occurrences trouvées, Dernière modification :
- fault/grub.
Pour lister les options de démarrage disponibles dans le menu:
<code bash>
grep -e "menuentry\s"
