Bonjour à tous,
Je travaille sur ma configuration grub qui doit être adaptée à ma machine et à la présence de divers OS sur celle-ci.
Dans le fichier /etc/grub.d/10_linux, une variable est utilisée : $GRUB_ACTUAL_DEFAULT
D’après ce que je comprends cette variable est définie ailleurs que dans ce fichier et elle sert à fournir le titre de l’entrée affichée par grub pour le linux. Un court extrait du fichier 10_linux sera sans doute plus parlant : if [ x"$title" = x"$GRUB_ACTUAL_DEFAULT" ]
Je n’arrive pas à trouver la source de cette variable $GRUB_ACTUAL_DEFAULT
que je souhaiterais modifier pour une meilleur lisibilité de mes entrées grub.
Savez-vous ou je pourrais trouver le fichier où cette variable est définie ?
Je vous remercie,
Bonne semaine à tous,
Briceco