Démarrer avec un système Linux live ou l’installateur Debian, l’important est de disposer d’un terminal avec un interpréteur de commande en tant que root. Dans un système live, il faudra probablement exécuter sudo -s
ou su -
pour passer root. Dans l’installateur Debian, il suffira de passer dans la console tty2 avec Ctrl+Alt+F2 après avoir sélectionné la langue et le clavier.
Identifier la partition EFI en affichant la table de partition avec
fdisk -l
Supposons que c’est /dev/sda1. La monter sur /mnt avec
mount /dev/sda1 /mnt
Copier le contenu de EFI\debian dans EFI\Boot
cp /mnt/EFI/debian/* /mnt/EFI/Boot
Renommer grubx64.efi en bootx64.efi dans EFI\Boot
mv /mnt/EFI/Boot/grubx64.efi /mnt/EFI/Boot/bootx64.efi
Démonter la partition avec
umount /mnt
Redémarrer avec
reboot
Note : il se peut que le répertoire "Boot "soit écrit “boot” ou “BOOT”, la casse est variable sachant que FAT n’est pas sensible à la casse.