Par contre une toute dernière question, le fichier "grubx64.efi" (ou "bootx64.efi") est-il définitif (aka crée lors de l'installation et ne bouge plus) ou régénéré à chaque mise à jour de GRUB ou du noyau (auquel cas cette manœuvre sera à répéter à chaque mise à jour sous peine de plus pouvoir démarrer) ?
C'est l'image principale de GRUB, donc elle est générée à chaque nouvelle version de GRUB. Elle est en revanche indépendante de la version du noyau et de la configuration de GRUB (dans le sens où on peut changer la configuration de GRUB sans avoir à modifier son image principale).
Une partition système EFI étant en FAT, et FAT étant un système de fichiers déficient, on ne peut malheureusement pas faire de lien symbolique...
[^] # Re: Quelques pistes
Posté par 🚲 Tanguy Ortolo (site web personnel) . En réponse au message Installation Debian Jessie en mode UEFI ne boot pas. Évalué à 4.
C'est l'image principale de GRUB, donc elle est générée à chaque nouvelle version de GRUB. Elle est en revanche indépendante de la version du noyau et de la configuration de GRUB (dans le sens où on peut changer la configuration de GRUB sans avoir à modifier son image principale).
Une partition système EFI étant en FAT, et FAT étant un système de fichiers déficient, on ne peut malheureusement pas faire de lien symbolique...