Suite.

De : Vincent Dubois <>

Bonsoir Pierre-Emmanuel!

Le 06/04/2020 à 19:16, piernov a écrit :

...

Salut,

On 4/6/20 6:50 PM, Vincent Dubois wrote:

...

Je bataille depuis ce matin avec un fonctionnement étrange, et non systématique. J'ai installé une Debian 9 'standard' à partir d'une clé USB sur un disque externe USB3 (compatible USB2).

À noter que Debian 10 est sortie le 6 juillet 2019 et intègre désormais la prise en charge de Secure Boot nativement.

Zut, je pensais que j'étais à jour... En fait, je n'arrive pas à trouver un lien torrent de cette version, même pas de la dernière sortie en février 2020 (tant qu'à faire.... Tu passes par quel site?

Bon, je ne suis pas trop en forme ces jours... J'ai trouvé tout en bas de la page. https://cdimage.debian.org/debian-cd/current/amd64/bt-cd/

C'est le coup du net-install qui m'a perturbé, mais comme j'ai une petite clef USB (2Go), c'est mieux ainsi.

...

...

Disque formaté en GPT, avec l'option installation sur un disque entier avec une partition séparée pour le home. L'installeur fait trois partitions principales :

• une FAT32 de 512Mo avec drapeau Boot (qui contient à priori les

exécutables UEFI de démarrage),

Le drapeau de démarrage n'a pas tellement de sens pour une installation purement GPT/UEFI. En principe cette partition (dite ESP pour EFI System Partition) devrait avoir le type 0xEF00. Mais on trouve parfois des media externes avec le type 0x0700 comme pour du FAT32 standard et ça ne pose pas forcément problèmes aux implémentations UEFI. Donc peut être essayer l'un ou l'autre si la suggestion ci-dessous ne fonctionne pas.

Je vais regarder cela.

"gdisk -l /dev/sda" me donne : Number Start (sector) End (sector) Size Code Name 1 2048 1050623 512.0 MiB EF00 2 1050624 1550335 244.0 MiB 8300 3 1550336 976705535 465.0 GiB 8E00

...

Il se peut que l'UEFI « oublie » l'entrée de démarrage puisque c'est un périphérique externe. Dans ce cas il faut peut utiliser le chemin par défaut que les implémentations UEFI utilisent pour démarrer sur les media externes : "/EFI/Boot/BOOTX64.EFI" . Donc faire un copier/coller du GRUB qui se trouve dans "/boot/efi/EFI/debian/grubx64.efi" vers "/boot/efi/EFI/Boot/BOOTX64.EFI" (le point de montage de la partition EFI ou le chemin de GRUB pourrait être différent, je ne sais pas où Debian place tout ça).

Je vais essayer cela, mais en fait, j'ai un message d'erreur qui fait plus penser à une partition corrompue, je remonte chercher le message d'erreur.

Le chemin était le bon, j'ai fait la copie telle que tu l'indiques. Je profite ce soir de ce PC sous Debian et je verrais bien au prochain démarrage - j'en profiterais pour relever le message d'erreur complet. Parce que pour l'instant, je ne comprends pas pourquoi cela fonctionne toujours la première fois...?

Je regarderais aussi pour le secure boot, mais bon, je préfère alors refaire une installation en Debian 10 si cela me permet d'éviter de toucher à ce paramètre.

Merci et à suivre, Vincent.