Bon... Je publie tout de même ce que j'ai préparé.

En tout cas, cette exploration d'un problème dont je n'avais pas la moindre idée m'a fourni un divertissement que je ne regrette pas.
1. Contournement matériel
Principe : on utilise une souris filaire pour choisir l'OS à lancer — c'est moins encombrant qu'un clavier et ça redonne vie à une souris oubliée au fond d'un tiroir.
Pour ce faire, on remplace GRUB par le gestionnaire de démarrage
rEFInd qui possède cette option.
Cette méthode conviendra mieux aux ordinateurs un peu lents à se lancer.
La manipulation est facilement réversible et je me suis efforcé de la réduire à trois lignes de commande.
- On ouvre le terminal (Ctrl Alt t) et on installe rEFIind en copiant-collant cette ligne (acceptez l'option "Oui" en tapant "Entrée") :
- Ensuite, on active la prise en charge de la souris — elle ne sera effective que si l'EFI de votre ordinateur le permet :
Code : Tout sélectionner
sudo sed -i 's/#enable_mouse.*/enable_mouse/g' /boot/efi/EFI/refind/refind.conf
- Puis on renomme le répertoire de démarrage de GRUB pour le désactiver sans le supprimer :
Inconvénient mineur de cette méthode, rEFInd ne se place pas automatiquement au début de la séquence de démarrage du BIOS. Le système redémarrera donc sur Windows (ou sur un autre OS).
Il faudra donc ressortir le clavier filaire pour modifier la séquence de boot dans l'éditeur du BIOS.
On y accède après l'affichage du logo de la marque en tapotant sur la touche F2 ou sur celle qui est furtivement indiquée sur l'écran au démarrage ou dans le manuel de votre ordinateur, et on suit les explications de l'onglet "Démarrage" pour remonter l'entrée rEFInd et enregistrer la modification.
Ceux que ces trois lignes de commande n'auront pas rebutés ou qui n'ont pas de clavier filaire sous la main pourront le faire depuis le terminal de Zorin.
Cette commande affiche la séquence de boot ("Boot Order") ainsi que les entrées disponibles :
Entrez cette seconde ligne pour réorganiser leur ordre à votre guise.
Placez seulement rEFINnd au début de la liste en remplaçant "XXXX" par le numéro de son entrée :
Résultat sur mon ordinateur :
Code : Tout sélectionner
BootCurrent: 0001
Timeout: 0 seconds
BootOrder: 0001,0004,0002,2001,2002,2003
Boot0001* rEFInd Boot Manager HD(1,GPT,426f7e65-3e4a-41b0-be90-a7deb89f9a1e,0x800,0x32000)/File(\EFI\refind\refind_x64.efi)
Boot0002* cachyos HD(1,GPT,426f7e65-3e4a-41b0-be90-a7deb89f9a1e,0x800,0x32000)/File(\EFI\cachyos\grubx64.efi)
Boot0004* Windows Boot Manager HD(1,GPT,426f7e65-3e4a-41b0-be90-a7deb89f9a1e,0x800,0x32000)/File(\EFI\Microsoft\Boot\bootmgfw.efi)57494e444f5753000100000088000000780000004200430044004f0042004a004500430054003d007b00390064006500610038003600320063002d0035006300640064002d0034006500370030002d0061006300630031002d006600330032006200330034003400640034003700390035007d00000034000100000010000000040000007fff0400
Boot2001* EFI USB Device RC
Boot2002* EFI DVD/CDROM RC
Boot2003* EFI Network RC
Le thème par défaut de rEFInd n'est pas flatteur, mais
il en existe d'autres.
Si je vous conseille celui-ci, ce n'est pas pour son rendu, mais parce que sa page
explique le mieux comment installer et paramétrer ces thèmes :
Pour revenir à GRUB, trois lignes là encore, pour supprimer rEFInd ainsi que son répertoire dans la partition EFI (1 et 2) et rendre son nom au répertoire "ubuntu" (3).
Entrez-les l'une après l'autre :
Code : Tout sélectionner
sudo apt purge refind && sudo rm -r /etc/refind.d/keys
sudo rm -r /boot/efi/EFI/refind
sudo mv /boot/efi/EFI/ubuntu0 /boot/efi/EFI/ubuntu