Bonsoir,
L'explication du Grub n'apparaissant pas au boot du PC :
En allant vérifier dans le BIOS si le "Secure boot" était désactivé (et il l'était), j'ai jeté un coup d’œil à "L'ordre de démarrage UEFI" et, voyant qu'il existait maintenant un "Gestionnaire de démarrage du SE", je l'ai développé.
Et ce gestionnaire comportait maintenant les deux OS.
Et évidemment, en mettant "ubuntu (NE-512)"en tête de liste, c'est bien Grub qui démarre au boot.
Le BIOS (enfin celui-ci) a sa propre gestion de priorité pour les OS, il fallait juste le savoir.
Donc le problème est résolu...
Tout serait donc parfait, sauf que je viens de m’apercevoir (le câble RJ45 était toujours branché jusque là) que je n'ai pas d'applet WiFi et qu'à priori dans la gestion des réseaux, je n'ai que l'option "Cablé". Sachant que la WiFi fonctionne bien sous Windows 10, que faire ?
Mais peut-être dois-je ouvrir un autre sujet ?
Merci encore de votre aide.
PC portable HP 17 BY 1002nf Intel Core i7, Ram 12 Go, 1 SSD de 477 Go (system) + 1 disque SSD de 932 Go (backup), Carte vidéo Radeon 530, Windows 10 préinstallé.
Dual boot Linux Mint 19.2 Cinnamon/Windows 10 sur le SSD 477Go avec partage du SSD 932Go pour les données.