[RESOLU] Installation de Linux Mint 21 sous UEFI (avec un ordi HP)
Posté : 25 août 2022 19:25
Hello,
J'ai décidé de remplacer mon vieil Acer 7630 par un ordi plus moderne.
L'étape de l'achat a été franchie assez aisément en m'adressant à Norip, vendeur d'ordinateurs reconditionnés (et pas "d'occasion", nuance importante qui pourra faire l'objet d'un sujet ultérieurement).
La nouvelle bête est un HP Probook 650 G 1 qui affiche un score Passmark de 2 890, alors que mon Acer actuel est seulement à 705....
Tant qu'à faire, autant équiper le nouveau avec la dernière version de Linux Mint : le n° 21
Le nouvel ordinateur n’a pas de BIOS (?) mais un système UEFI (Unified Extensible Firmware Interface = Interface micrologicielle extensible unifiée).
Ce standard définit une interface entre le micrologiciel (firmware) et le système d’exploitation (Operating System) d'un ordinateur. Cette interface succède au BIOS. Vous pourrez lire la suite sur https://fr.wikipedia.org/wiki/UEFI
Bref, il faut d’abord dénicher l’UEFI sur l’ordinateur.
Contrairement au BIOS bien connu, il n’est pas accessible simplement par F1, ou F2 ou un autre F au démarrage de l’ordinateur.
Cependant avec un peu d’astuce, on arrive à trouver sa trace.
Sur mon HP équipé de Windows 10, le chemin est le suivant :
- Paramètres (la roue dentée)
- puis, Mise à jour et sécurité (c’est là le piège. Il ne faut pas aller dans « système »)
- puis, Récupération
- puis Démarrage avancé
→ cliquer sur « redémarrer maintenant » pour accéder aux options du démarrage avancé
L’ordinateur redémarre.
Sur écran bleu, 3 options se présentent :
1) continuer (vers W 10 → aucun intérêt)
2) dépannage (ré-initialiser le PC ou afficher les options avancées)
3) éteindre votre PC (pas d’intérêt dans la recherche de l’UEFI)
Sur mon HP il manque malheureusement une 4ème option, vue à ce stade dans un tutoriel :
- « use a device » (utiliser un appareil) qui aurait ouvert la possibilité d’insérer une clef de boot pour démarrer LinuxMint 21
Je choisis l’option 2 « dépannage »
2 nouvelles options se présentent :
1) ré-initialiser ce PC (« permet de conserver ou de supprimer vos fichiers personnels, puis ré-installe Windows » → pas d’intérêt
2) options avancées, au nombre de 6. Les voici :
a) outils de redémarrage système (« corrige les problèmes qui empêchent le chargement de Windows » → pas d’intérêt)
b) paramètres (« change le comportement de Windows au démarrage ») → ????
c) invite de commande → dirige vers un terminal ou une console (réservé aux pros !)
d) désinstaller les mises à jour (de Windows, évidemment) → pas d’intérêt
e) changer les paramètres du micro-programme UEFI → nous y voilà !
f) restauration du système (« utilise un point de restauration sur votre PC pour restaurer Windows » → pas d’intérêt)
C’est donc la 5ème option qui semble la plus prometteuse. Quand on clique dessus, l’écran présenté invite à re-démarrer une nouvelle fois.
Après ce re-démarrage, on obtient l’écran suivant : L’option la plus tentante semble être F 9, boot device options, qui va peut-être ouvrir la porte à un démarrage avec la clef de boot LinuxMint
F 9 dirige vers cet écran : La tendance naturelle est d’essayer la 1ère ligne « OS boot manager »
Pas de chance, l’ordinateur redémarre sous Windows → voie sans issue
Si on néglige les 2 lignes intermédiaires qui semblent liées à un démarrage via Internet, il resterait la dernière ligne :
« boot from EFI file » (rappel : EFI = Extensible Firmware Interface, Interface micrologicielle extensible)
Mais quel fichier (file) EFI ????
Nouvelle tentative avec F 10 « BIOS setup » (réglage du BIOS)
A suivre plus tard, cette voie parait finalement assez prometteuse mais elle est un peu trop foisonnante pour un débutant comme moi
J'ai décidé de remplacer mon vieil Acer 7630 par un ordi plus moderne.
L'étape de l'achat a été franchie assez aisément en m'adressant à Norip, vendeur d'ordinateurs reconditionnés (et pas "d'occasion", nuance importante qui pourra faire l'objet d'un sujet ultérieurement).
La nouvelle bête est un HP Probook 650 G 1 qui affiche un score Passmark de 2 890, alors que mon Acer actuel est seulement à 705....
Tant qu'à faire, autant équiper le nouveau avec la dernière version de Linux Mint : le n° 21
Le nouvel ordinateur n’a pas de BIOS (?) mais un système UEFI (Unified Extensible Firmware Interface = Interface micrologicielle extensible unifiée).
Ce standard définit une interface entre le micrologiciel (firmware) et le système d’exploitation (Operating System) d'un ordinateur. Cette interface succède au BIOS. Vous pourrez lire la suite sur https://fr.wikipedia.org/wiki/UEFI
Bref, il faut d’abord dénicher l’UEFI sur l’ordinateur.
Contrairement au BIOS bien connu, il n’est pas accessible simplement par F1, ou F2 ou un autre F au démarrage de l’ordinateur.
Cependant avec un peu d’astuce, on arrive à trouver sa trace.
Sur mon HP équipé de Windows 10, le chemin est le suivant :
- Paramètres (la roue dentée)
- puis, Mise à jour et sécurité (c’est là le piège. Il ne faut pas aller dans « système »)
- puis, Récupération
- puis Démarrage avancé
→ cliquer sur « redémarrer maintenant » pour accéder aux options du démarrage avancé
L’ordinateur redémarre.
Sur écran bleu, 3 options se présentent :
1) continuer (vers W 10 → aucun intérêt)
2) dépannage (ré-initialiser le PC ou afficher les options avancées)
3) éteindre votre PC (pas d’intérêt dans la recherche de l’UEFI)
Sur mon HP il manque malheureusement une 4ème option, vue à ce stade dans un tutoriel :
- « use a device » (utiliser un appareil) qui aurait ouvert la possibilité d’insérer une clef de boot pour démarrer LinuxMint 21
Je choisis l’option 2 « dépannage »
2 nouvelles options se présentent :
1) ré-initialiser ce PC (« permet de conserver ou de supprimer vos fichiers personnels, puis ré-installe Windows » → pas d’intérêt
2) options avancées, au nombre de 6. Les voici :
a) outils de redémarrage système (« corrige les problèmes qui empêchent le chargement de Windows » → pas d’intérêt)
b) paramètres (« change le comportement de Windows au démarrage ») → ????
c) invite de commande → dirige vers un terminal ou une console (réservé aux pros !)
d) désinstaller les mises à jour (de Windows, évidemment) → pas d’intérêt
e) changer les paramètres du micro-programme UEFI → nous y voilà !
f) restauration du système (« utilise un point de restauration sur votre PC pour restaurer Windows » → pas d’intérêt)
C’est donc la 5ème option qui semble la plus prometteuse. Quand on clique dessus, l’écran présenté invite à re-démarrer une nouvelle fois.
Après ce re-démarrage, on obtient l’écran suivant : L’option la plus tentante semble être F 9, boot device options, qui va peut-être ouvrir la porte à un démarrage avec la clef de boot LinuxMint
F 9 dirige vers cet écran : La tendance naturelle est d’essayer la 1ère ligne « OS boot manager »
Pas de chance, l’ordinateur redémarre sous Windows → voie sans issue
Si on néglige les 2 lignes intermédiaires qui semblent liées à un démarrage via Internet, il resterait la dernière ligne :
« boot from EFI file » (rappel : EFI = Extensible Firmware Interface, Interface micrologicielle extensible)
Mais quel fichier (file) EFI ????
Nouvelle tentative avec F 10 « BIOS setup » (réglage du BIOS)
A suivre plus tard, cette voie parait finalement assez prometteuse mais elle est un peu trop foisonnante pour un débutant comme moi