Le 22/10/2024 à 21:48, Pierre Estrem (via linux-31 Mailing List) a écrit :
Désolé, je n'y parviens pas.
À quoi faire ?
Après l'ajout de "set default=1", dois-je faire un "grub-mkconfig ..."
Non.
Mais si j'ai compris je n'aurais pas à le faire puisqu'il s'agit du fichier "natif" (/boot/grub/grub.cfg).
En effet.