DEBIAN 12 installé en dual boot après WIN10 - GRUB absent des options boot

La copie d’écran indique que GRUB a été installé pour l’amorçage BIOS/legacy et non pour l’amorçage UEFI (aucun périphérique n’est demandé en mode UEFI), donc normal que Debian soit absent des options de boot.

Pour installer GRUB pour l’amorçage EFI :

  • Redémarrer avec l’installateur Debian en s’assurant de booter en mode UEFI (le menu de démarrage de l’installateur doit être affiché par GRUB et indiquer « EFI »).
  • Sélectiionner advanced > rescue (dépannage)
  • Passer les étapes jusqu’à la sélection de la partition racine (n° à déterminer)
  • Sélectionner « lancer un shell dans le système installé »
  • Monter /var et /tmp (pas besoin de monter /home)
  • Monter efivarfs (mount -t efivarfs efivarfs /sys/firmware/efi/efivars)
  • créer un répertoire /boot/efi
  • monter la partition EFI (n° à déterminer) sur /boot/efi
  • installer le paquet grub-efi-amd64
  • exécuter grub-install
  • éditer /etc/default/grub pour mettre GRUB_DISABLE_OS_PROBER=false
  • exécuter update-grub

Ou bien réinstaller Debian, également en ayant booté l’installateur en mode EFI.