Effectivement, des complications arrivent avec l’envie de créer un multiboot Windows/linux avec un BIOS UEFI.
Préparation du disque avec GPARTED :
* Table des partitions en GPT
* 1 partition fat32 flag=boot[, esp] de 100MiO point de montage=/boot/efi
* 1 partition unformated flag=bios_grub de 100MiO (au début, dans les 100 premiers Go max.)
* Aucun drapeau sur les partitions destinées à Linux
* Le reste comme d’habitude – /!\ Un disque SSD doit toujours avoir entre 12 et 15% de partition non allouée pour un bon fonctionnement
Installer Windows puis Linux
Une fois tout installé, s’assurer de la présence de grub2.
Installer le paquet grub-efi-amd64
sudo apt install grub-efi-amd64
Puis exécuter
update-grub2
Vérifier les entrées (y’a t’il Windows?) retournées par la commande (car elle inscrit ça dans /boot/grub/grub.cfg)
SEULEMENT à ce moment là, ajouter à la fin du fichier /etc/default/grub
GRUB_DISABLE_OS_PROBER=true
Exécuter ([facultatif] entre crochets)
grub-install [--target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=debian --recheck --debug] /dev/sda
Exécuter
cp /boot/efi/EFI/debian/grubx64.efi /boot/efi/EFI/boot/bootx64.efi
Puis, vérifier si cette commande retourne « efi »
ls /sys/firmware | grep efi
SI OUI, c’est tout bon !
Sources :
https://wiki.debian-fr.xyz/Debian_%26_UEFI
https://wiki.debian.org/DualBoot/Windows10