Comment installer une distribution lorsque le BIOS ne le veut pas

Message n° 1

Comme cela ne m'est jamais arrivé, cette fiche doit tout aux échanges avec quelques utilisateurs, en particulier avec @Ph_conc, le dernier à avoir eu ce problème sur un Acer Aspire.
Qu'ils en soient remerciés.

Il arrive parfois — assez rarement, mais ça arrive — que l'installation échoue à la fin du processus parce que le BIOS refuse d'enregistrer un nouveau système d'exploitation. (1)

Pourtant, vous avez bien désactivé le Secure Boot ainsi que le démarrage rapide de Windows dans le cadre d'un dual-boot...

Inutile de vous obstiner, vous n'y arriverez pas, le BIOS de certains modèles serait même carrément "verrouillé".
Puisque le BIOS récalcitre, contournons-le !
Et comme GRUB est inopérant, passons-nous en !

♦♦♦

C'est là que rEFInd intervient — je ne remercierai jamais assez @Marc Driver de m'avoir amené à m'intéresser à ce gestionnaire de démarrage.

Peu importe qu'une distribution n'ait pas d'entrée dans le BIOS ou de répertoire dans la partition EFI : contrairement à GRUB, rEFInd scanne tous les autres endroits susceptibles de contenir quelque chose qui puisse se lancer — la partition "/boot" par exemple, ou d'éventuels supports externes.

N'essayez pas d'installer rEFInd, le BIOS n'en voudra pas. Mais comme il existe une version "flashdrive", il suffit de l'installer sur une clé pour que rEFInd se lance au démarrage à la manière des clés d'installation.

Et contrairement à la solution que j'ai proposée pour un autre problème, celle-ci est pérenne !

Démarrez votre ordinateur sur la clé d'installation d'une distribution Linux.
Ouvrez une live session en choisissant "Essayer Zorin" ou son équivalent.
Connectez-vous au réseau si vous avez un portable, téléchargez cette archive et décompressez-la (clic droit > "Extraire ici").
Ouvrez le répertoire décompressé, cliquez droit sur une zone libre, choisissez "Ouvrir dans un terminal" et laissez le terminal ouvert pour les opérations suivantes.
Introduisez la clé sur laquelle vous voulez enregistrer rEFInd (une vieille clé de 1 Go fera parfaitement l'affaire).
Vérifiez son nom en entrant cette commande dans le terminal :
Code : Tout sélectionner
```
lsblk -l
```
Il vaut mieux commencer par réinitialiser la clé.
Copiez-collez cette ligne en remplaçant "x" par la lettre de la clé en question et tapez "Entrée", c'est presque instantané :
Code : Tout sélectionner
```
sudo dd if=/dev/zero of=/dev/sdx bs=512 count=1 conv=notrunc
```
Faites de même avec cette ligne pour enregistrer l'image de rEFInd sur la clé :
Code : Tout sélectionner
```
dd if=refind-flashdrive-0.14.2.img of=/dev/sdx
```
Comme elle est très légère, ce sera très rapide.
Éteignez l'ordinateur et rallumez-le.

Normalement, rEFInd devrait se lancer.
Son menu par défaut est moche, mais il est conçu pour présenter les principales options disponibles.
Si le processus d'installation de votre distribution s'est arrêté au moment d'inscrire son entrée dans le BIOS, il devrait afficher l'icône de votre distribution ou un vilain petit pingouin si elle ne fait pas partie du lot, comme celle de Zorin.

Naviguez au curseur, cliquez sur cette icône.
Normalement, la distribution devrait se lancer. Sinon, réessayez avec une autre icône en regardant les indications qui s'affichent au dessous.
Faites une mise à jour pour consolider l'installation.
Ouvrez le terminal (Ctrl Alt t) et entrez ces commandes :
Code : Tout sélectionner
```
sudo apt update && sudo apt upgrade
```

... et laissez la clé en place !

Consultez aussi le message suivant...

(1) Dans le cas de @Ph_conc, pour des raisons que je ne m'explique pas, l'installation de Zorin échouait trop tôt pour qu'elle soit viable.
Après essai, il s'est avéré que changer de type de distribution peut parfois apporter une amorce de solution : là où les distributions basées sur Ubuntu comme Zorin ou Linux Mint échouaient, Manjaro Cinnamon, basé sur Arch Linux, n'a planté qu'au tout dernier moment et nous avons pu la rendre opérationnelle en appliquant la méthode ci-après.

Message n° 2

Cette fiche du Petit Manuel vous apprendrait comment configurer l'apparence de rEFInd, mais si vous n'avez qu'un système d'exploitation sur votre ordinateur et si vous n'avez pas constaté de problème majeur pendant le lancement, autant démarrer automatiquement sans passer par le menu de rEFInd.

Tapez "dis" dans la boîte de recherche d'applications du menu principal et lancez "Disques".
Sélectionnez la clé de démarrage dans le volet de gauche (1) puis la partition rEFInd dans la fenêtre principale (2).
Cliquez sur le bouton 'Play" pour la monter (3) :
Ouvrez le terminal (Ctrl Alt t) et copiez-collez la ligne ci-dessous en remplaçant "/lien/de/montage/" par celui qui est indiqué :
Code : Tout sélectionner
```
sudo sed -i '13s#.*#timeout -1#' /lien/de/montage/EFI/boot/refind.conf
```

Redémarrez pour vérifier.

Pour récupérer le menu rEFInd, procédez de même en entrant cette ligne :

Code : Tout sélectionner

sudo sed -i '13s#.*#timeout 10#' /lien/de/montage/EFI/boot/refind.conf

Message n° 3

La partition EFI de rEFInd n'occupe que 6,3 Mo sur la clé, mais le reste de l'espace n'est perdu pour autant.

Si vous avez un portable, faites l'acquisition d'une micro clé du type "Store 'n Stay" comme celle-ci : vous pourrez la laisser à demeure et vous en servir comme "annexe de stockage".
J'ai ainsi transformé une clé de 64 Go acquise pour essayer MiniOS en outil de réparation en lui ajoutant quelques scripts de maintenance et en espace de stockage de musique accessible depuis n'importe quelle distribution de mon multi-boot — le format FLAC prend vite de la place...

Je vous explique ?

♦♦♦

GParted est supprimé à l'installation alors qu'il figure parmi les logiciels des live sessions, il faut donc commencer par le réinstaller.

Lancez le terminal (Ctrl Alt t) et copiez-collez cette ligne :
Code : Tout sélectionner
```
sudo apt update && sudo apt install gparted
```
Comme expliqué dans le message précédent, tapez "dis" dans la boîte de recherche d'applications du menu principal et lancez "Disques".
Sélectionnez la clé de démarrage dans le volet de gauche (1) puis la partition rEFInd dans la fenêtre principale (2).
Cliquez sur le bouton 'Play" pour la monter (3).
Ensuite, tapez "gpa" dans la boîte de recherche et lancez GParted.
- Cliquez sur la liste déroulante dans le coin supérieur droit et sélectionnez votre clé.
  Un message s'affichera sans doute, cliquez sur "Réparer" :
- Cliquez sur l'espace non alloué pour le sélectionner, puis faites un clic droit et choisissez "Nouvelle [partition]".
  Dans la boîte qui s'ouvre, réglez les différents paramètres comme suit (vous pouvez choisir une autre étiquette) et cliquez sur "Ajouter" :
  
  Cliquez sur la coche à l'extrême droite de la barre d'outils de GParted ou tapez "Ctrl Entrée" pour l'appliquer.

C'est fait, la partition est créée.

Les utilisateurs qui ont automatisé le démarrage pourront en rester là.

Si vous souhaitez personnaliser le menu de rEFInd en ajoutant un thème, il faudra agrandir la partition.
Ce n'est pas très compliqué, même si GParted multiplie les avertissements.

Cliquez droit sur la partition que vous venez de créer et choisissez "Redimensionner/Déplacer".
Réglez l'espace libre précédent sur 50 Mo (par exemple) et cliquez sur le bouton "Redimensionner/Déplacer" :

Faites "Ctrl Entrée" pour appliquer la modification — ne vous inquiétez pas de l'avertissement, cliquez sur "Valider" :
Cliquez ensuite sur la partition contenant rEFInd, faites un clic droit et choisissez "Redimensionner/Déplacer".
Tirez sur la flèche de doite de la représentation graphique jusqu'à ce que la future partition occupe la totalité de l'espace non alloué :

Cliquez sur le bouton "Redimensionner/Déplacer" et faites "Ctrl Entrée".
Cliquez sur "Valider" dans le message qui s'affichera :

C'est fini — comme toujours, c'est plus long d'expliquer que de faire !

Zorinos.fr