Après quelque frayeurs au re-démarrage après l’installation en dual-boot d’une Debian Buster sur mon portable HP EliteBook 850, je me retrouvais à devoir d’abord utiliser le bootloader d’HP pour sélectionner ma partition où était installé ma Lubuntu ainsi que GRUB, puis de devoir sélectionner à nouveau sur quel système je voulais booter ; la même mésaventure m’était arrivée avec une Lubuntu 18.04. Le « SecureBoot » était pourtant bien désactivé...
La solution m’a été fourni par michal_za sur askubuntu.com :
- on accède au bootloader d’HP, on sélectionne « Boot from EFI File » puis on va chercher où se trouve GRUB ; dans mon cas :
\EFI\debian\grubx64.efi(pour Ubuntu et ses dérivés :\EFI\ubuntu\grubx64.efi) ; - on crée une entrée « Custom Boot » dans laquelle on saisit cette adresse ; bien évidemment, le tout en QWERTY... le backslash étant en AZERTY l’astérisque, le point étant le slash...
- nn place cette entrée « Custom Boot » en tête des options de boot.
Et voilà, le tour est joué.