Tuto corrigé le 27/05/2021
Un des atouts de Zorin, c'est le soin que ses développeur ont apporté à la cosmétique : cela saute aux yeux dès le menu de lancement — en même temps, ce n'est pas très difficile de proposer quelque chose de plus sexy que le GRUB standard des distributions Ubuntu !
Le malheur, si vous hébergez plusieurs distributions Linux sur votre ordinateur (Ubuntu et Debian en particulier, Arch et ses dérivés posant d'autres problèmes), c'est que la dernière installée impose son GRUB à la place de celui de Zorin. Même mésaventure à l'occasion de certaines mises à jour.
Parallèlement, il arrive aussi que GRUB fasse une véritable salade de partitions, à la manière dont les éditeurs WYSIWYG font une soupe de balises dans le code des pages d'un CMS.
J'ai trouvé la solution par hasard, au bout d'un lien que je n'avais pas suivi jusque-là. Je vous la livre, pensant qu'elle pourrait vous être utile.
Avant l'installation ou la réinstallation d'un OS
Depuis Zorin, ouvrez un terminal (CTRL ALT t) et lancez votre éditeur préféré (Gedit ou un autre) avec des droits de superutilisateur pour pouvoir éditer le fichier "/etc/default/grub" en tapant :
Code : Tout sélectionner
sudo gedit /etc/default/grub
Enregistrez la modification.
Voilà, c'est fait, le GRUB de Zorin est protégé !
Après l'installation du nouvel OS
Depuis Zorin, éditez à nouveau le fichier "/etc/default/grub" et commentez la ligne que vous avez ajoutée en ajoutant un dièse au début : #GRUB_DISABLE_OS_PROBER=true
Mettez à jour le fichier de configuration de GRUB, soit avec Grub-Customizer pour quelques retouches cosmétiques, soit en tapant dans le terminal :
Code : Tout sélectionner
sudo update-grub
Mieux vaut prévenir que guérir...
Éditez une troisième fois le fichier en question et décommentez la fameuse ligne pour protéger votre GRUB des mises à jour d'un OS.
Cette fois, j'espère que tout est clair et surtout exact.