La commande suggérée (et que je découvre — en la matière, je suis comme une poule devant un couteau...) donne ce résultat :
$ efibootmgr
BootCurrent: 0002
Timeout: 10 seconds
BootOrder: 0002,0000
Boot0000* Windows Boot Manager
Boot0001* Windows Boot Manager
Boot0002* debian
Je suis surpris de voir que la liste du BootOrder commence bien par 0002, qui est l'identifiant de debian. Quelle est cette sorcellerie ?
Note :
C'est une machine de seconde main, qui tournait bien sous Windows, mais je pensais que le formatage des deux disques (le SSD et le HDD) à l'installation de Debian aurait fait disparaître toute trace précédente de Windows...
[^] # Re: Précisions
Posté par Benoît Bailleux (Mastodon) . En réponse au message Debian sur SSD, ne boot pas sur disque HDD vide. Évalué à 2.
C'est un HP ZBook 15 G2
La commande suggérée (et que je découvre — en la matière, je suis comme une poule devant un couteau...) donne ce résultat :
Je suis surpris de voir que la liste du
BootOrdercommence bien par0002, qui est l'identifiant dedebian. Quelle est cette sorcellerie ?Note :
C'est une machine de seconde main, qui tournait bien sous Windows, mais je pensais que le formatage des deux disques (le SSD et le HDD) à l'installation de Debian aurait fait disparaître toute trace précédente de Windows...