GRUB sur HP EliteBook 850

le 28/07/2018 dans Linux #boot#HP#Linux

Après quelque frayeurs au re-démarrage après l'installation en dual-boot d'une Lubuntu 18.04 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.

J'avais pourtant bien déjà désactivé le SecureBoot...

La solution m'a été fourni par michal_za sur askubuntu.com :

  1. 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\ubuntu\grubx64.efi

  2. 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...
  3. On place cette entrée Custom Boot en tête des options de boot.

Et voilà, le tour est joué.