Dernier message de la page précédente :
Bonjour,Génial, ça a fonctionné !!!!
Je n’ai pas testé la méthode de mpat car celle proposée par frssou était applicable plus rapidement. Si elle n’avait pas fonctionné j’aurais testé l’autre.
Mais en tout cas un grand merci à vous deux.
Je remet ici d’une manière qui me paraît claire la procédure que j’ai suivie depuis le tout début.
1. Appuyer sur F2 puis allumer la machine (en maintenant la touche F2 enfoncée). Je ne dois pas être assez rapide ou quoi mais impossible d’accéder au bios sans enfoncer F2 avant d’allumer la machine.
2. Aller sur l’onglet « Security » et définir un mot de passe superviseur (Set Supervisor Password). Cette étape n’est pas obligatoire.
3. Ensuite aller dans « Boot » vérifier ou choisir UEFI et Secure mode Enabled
4. Dans le menu « Boot priority order » choisir un ordre de préférence pour booter la machine. Il faut aller sur la ligne que l’on veut régler, et presser F6 pour la faire monter d’un cran dans l’ordre de priorité. Donc appuyer autant de fois que besoin pour faire monter la ligne que l’on veut où on veut.
Perso j’ai choisi « USB HDD » en 1 et « EMMC » en 2.
5. Presser F10 et Yes. On quitte le bios en sauvant les modifications.
6. Si un clef usb bootable avec Mint dessus était déjà dans la machine la session live va se lancer. Si pas de clef usb bootable Mint le système déjà installé se lancera. Il faut alors éteindre la machine, mettre une clef usb bootable Mint et relancer la machine pour que la session live usb se lance.
7. Installer Mint en suivant les instructions. Bien choisir le mode UEFI.
8. Au redémarrage après l’installation Mint ne devrait pas se lancer, et un message « No bootable device » devrait s’afficher.
9. Éteindre la machine en pressant quelques secondes sur le bouton power.
10. Appuyer sur F2 puis allumer la machine (en maintenant la touche F2 enfoncée).
11. Si il y a un code pour accéder au bios le mettre.
12. Dans l’onglet « Security » aller à « Select an UEFI file as trusted for executing ».
13. Choisir EMMC (moi je n’ai que ça).
14. Choisir EFI (moi je n’ai que ça).
15. Choisir Ubuntu.
16. Choisir « shimx64 ».
17. Lui donner un nom. Perso j’ai mis « Mintshimx64 ».
18. Presser F10 et Yes. On quitte le bios en sauvant les modifications.
19. Linux Mint devrait démarrer.
20. Éteindre Mint.
21. Appuyer sur F2 puis allumer la machine (en maintenant la touche F2 enfoncée).
22. Aller à l’onglet « Boot ».
23. Là normalement est apparu la ligne « EFI File boot 0 : Mintshimx64 » (ou autre nom qui a été donné à shimx64 à l’étape 17).
24. Faire monter cette ligne en premier.
25. Presser F10 et Yes. On quitte le bios en sauvant les modifications.
Les étapes 20 à 25 ne sont pas essentielles, mais ça devrait permettre à Mint de démarrer plus vite, sans que le bios teste les autres possibilités de boot.
J’espère que c’est assez clair et que ça pourra aider d’autres personnes.