Il n'y a pas d'option pour changer l'OS dans le bios.
J'arrive à ce que je veux (lancer le grub) via
sudo efibootmgr --bootnext 0000
Malheureusement qu'une seule fois. Pour le rendre permanent
sudo efibootmgr --bootorder 0000,0002,0004,2001
ne fonctionne pas. Bizarre. Je pourrais faire la commande next à chaque démarrage. Peut-on le faire sans devoir taper le mot de passe root?
