modifier le 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 fichierfichier **BCD**. Cette partition contiendra égale
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
</
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
: Démarrer sur le dernier choix ======
Editer le fichier ''/etc/default/grub''
Insérer ou mettre à jour l... GRUB_DEFAULT=saved
</file>
Après modification du fichier configuration, mettre à jour GRUB :
<code bash>
; then mkdir /boot/grub/layouts; fi
# Générer le fichier layout
grub-kbdcomp -o /boot/grub/layouts/fr.gkb ... /boot/grub/layouts/fr.gkb
</code>
A ce stade le fichier layout existe mais n'est pas utilisé.
:TODO:
On