Résultats plein texte:

000_start

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

t. Les modifications sont apportées au niveau des fichiers de paramétrage qui sont: * **/etc/default/grub**: paramétrages généraux * les fichiers **/etc/grub.d/*_custom** paramétrages spécifiques

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-?? et

modifier_demarrage_par_defaut

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

on du fichier /etc/default/grub, reconstruire les fichiers de démarrage via la commande: <code bash> sudo up

supprimer_options_demarrage

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

ser **''UUID@/path/to/file.efi''**. Le chemin des fichiers efi est affiché dans la console lors de l’exécuti