[Linux-31] installation debian 32 bits uefi

[Pascal Hambourg]

jdd a écrit :
> 
> j'ai trouvé la solution en paginant dans les forums virtualbox.
(...)
C'est bizarre, je n'ai rencontré ce comportement avec aucun "vrai"
firmware UEFI. En tout cas c'est bon à savoir, merci.

> Une complication: vous êtes en QWERTY... il faut donc en vrai taper:
> 
> echo efi*debian*grub:efi / stqrtup:nsh

Ou bien dégainer le clavier USB QWERTY que je garde en réserve pour ce
genre de situation (comme bricoler dans le shell de GRUB).