Le 30/12/2022 à 22:40, ajh-valmer a écrit :
[...]
<UUID>@<EFI FILE> ne concerne donc que des partitions Windows/Microsoft.
Pour les partitions ext4 Linux c'est UUID tout court.
[...]
Littéralement, ça concerne tous les systèmes d'exploitation que Grub ne
sait pas démarrer directement (actuellement tout ce qui n'est ni Linux
ni *BSD). Par exemple, si tu avais installé un OS Minix, il faudrait
semble-t-il qu tu utilises le chainloading, donc que tu spécifies le
fichier EFI.
Plus de détails sur le chainloading Grub là:
https://www.gnu.org/software/grub/manual/grub/html_node/Chain_002dloading.html