Cohabitation : Windows 10© et linux

Situation :

Si comme moi vous avez un ordinateur avec Windows 10 et que vous installez en dual boot un linux vous aurez probablement ce problème : A l’usage de linux, tout va bien, le menu de démarrage propose bien plusieurs choix.

Après l’utilisation de Windows, le dual boot est masqué : windows se lance directement

Secure Boot ?

Il s’agit d’une protection au niveau du BIOS, empêchant le démarrage à partir d’une clef USB par exemple. Le problème ne vient pas de là.

Menu de démarrage : grub ou wmgr ?

A défaut d’avoir trouvé le moyen de lancer à nouveau grub, j’ai opté pour windows manager, avoir l’un ou l’autre menu m’indiffère du moment que le menu est le même.

Modifier les options WMGR

Sous Windows, lancer la console (cmd) en admin puis entrer les deux commande ci dessous :

bcdedit /set {bootmgr} timeout 20
bcdedit /set {bootmgr} path \EFI\ubuntu\grubx64.efi

La première met une pause de 20 secondes pour l’affichage du menu (de Windows)

La seconde permet d’ajouter un choix au menu de wmgr, ici il s’agit de ubuntu (64bits) ; à défaut d’avoir grub acitf, on aura windows bootmgr actif puis grub.

A partir de maintenant, lorsque le système (BIOS) lance le menu de démarrage Windows, celui-ci vous laisse 20 secondes pour choisir dans le menu GRUB.

Je reconnais avoir des lacunes en l’occurrence, mais ce résultat me suffit.
sources :

Windows Boot Manager -> reneelab.fr
pour ubuntu -> forum ubuntu