Résultats plein texte:

000_start

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

modifier se comportement par défaut, modifier le fichier /etc/default/grub: <file> # valeurs par défaut (à... == La configuration de grub est contenue dans le fichier **grub.cfg**. Si pour une raison quelconque le fichier devient inexploitable le démarrage ne pourra plus s... ==== Il faut localiser la partition contenant le fichier fichier **BCD**. Cette partition contiendra égale

modifier_demarrage_par_defaut

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

de la variable **GRUB_DEFAULT** présente dans le fichier de configuration /etc/default/grub. Pour lister ... y>menu_entry"''** </note> Après modification du fichier /etc/default/grub, reconstruire les fichiers de démarrage via la commande: <code bash> sudo update-grub </

supprimer_options_demarrage

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

la variable **GRUB_OS_PROBER_SKIP_LIST** dans le fichier /etc/default/grub: <file> GRUB_OS_PROBER_SKIP_LI... ser **''UUID@/path/to/file.efi''**. Le chemin des fichiers efi est affiché dans la console lors de l’exécut... érer la configuration après toute modification du fichier /etc/default/grub: <code bash> sudo update-grub

booter_linux_manuellement

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

de type linux: <code> insmod linux # Lister les fichiers de la partition racine # rechercher vmlinux-?? e