Comment changer le nom du système d'exploitation en toute sécurité dans le menu de démarrage de grub?

J'ai un système où je démarre à double démarrage Ubuntu GNOME 15.10 et Ubuntu GNOME 16.04, cependant après avoir installé Ubuntu GNOME 16.04, j'ai trouvé que dans la liste des entrées de démarrage GRUB, il s'appelle "Ubuntu", tandis que l'autre s'appelle quelque chose comme "Ubuntu GNOME 15.10", est-il possible de changer le texte de "Ubuntu" en "Ubuntu GNOME 16.04"? Et modifiez également les noms des autres options de sorte qu'au lieu de "Options avancées pour Ubuntu", il soit indiqué "Options avancées pour Ubuntu GNOME 16.04", etc.?

Je préfère le faire manuellement s'il est sécuritaire de le faire, ou un logiciel pourrait être recommandé, mais rien d'un PPA ou d'une autre source non officielle non fiable (je n'installerai que des logiciels à partir des dépôts officiels d'Ubuntu).

Cela pourrait également être utile: ubuntuforums.org/showthread.php?t=1287602

Ron

Réponses:

Ouvrez le fichier de configuration grub:

sudo nano /etc/default/grub

Il suffit de commenter la ligne commençant par GRUB_DISTRIBUTORet d'ajouter une ligne:

# GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_DISTRIBUTOR="Ubuntu 15.10"

Ensuite, exécutez

sudo update-grub

Cela devrait fonctionner après le prochain redémarrage. Vous devrez démarrer sur les deux installations ubuntu et modifier les deux noms.

Remarque importante: vous voudrez éviter de modifier le fichier /etc/lsb-releaseet de modifier la valeur pour DISTRIB_IDlaquelle il est lu à partir de la commande lsb_release -i -s. Bien que cela fonctionne pour renommer l'entrée du menu grub (si vous ne l'avez pas modifiée /etc/default/grub), d'autres programmes s'appuient également sur le nom par défaut et peuvent se bloquer s'il est modifié (par exemple "Ubuntu" pour Xubuntu). Cela dit, les mises à jour du noyau remplacent également ce fichier, ce qui annulera toute modification.

davidbaumann
la source

N'y a-t-il pas moyen de changer également les noms des autres options? Ou est-ce que cela se fait automatiquement en fonction des noms des OS?

Vous pouvez désactiver presque tous les scripts et ajouter tout ce que vous voulez à 40_custom comme strophe de démarrage avec n'importe quelle description. Et si vous démarrez la partition (lien vers le noyau) au lieu du noyau, vous n'avez pas à modifier avec chaque mise à jour du noyau.Comment: créer un écran GRUB2 personnalisé sans entretien - Cavsfan help.ubuntu.com/community/MaintenanceFreeCustomGrub2Screen ET: help.ubuntu.com/community/Grub2/CustomMenus

oldfred

Ne fonctionne pas avec le mien LinuxMint KDE 18.3, les noms sont toujours ceux par défaut

WooYek

A fonctionné sur Ubuntu 18.04 avec l'effet secondaire intéressant, les couleurs de Grub sont passées du noir / blanc au noir / bleu / blanc.

monty

Une meilleure idée est d'utiliser GRUB_DISTRIBUTOR=`lsb_release -d -s 2> /dev/null || echo Debian`. L'option '-d' renverra 'Ubuntu 19.10' ou une autre version similaire telle qu'elle est. NB Testé uniquement pour la version 19.10

brewmanz il y a

Il existe un programme appelé Grub Customizer que vous pouvez utiliser pour cela. Vous pouvez ajouter, supprimer, déplacer et renommer des entrées. Il a également beaucoup plus de fonctionnalités pour définir la résolution d'affichage, etc.

Voyez par vous-même: https://launchpad.net/grub-customizer

Installation (copiée de cette page ci-dessus):

sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer

Après l'installation, j'ai une nouvelle entrée sous Application> Outils système> Administration appelée Grub Customizer.

Renommer l'entrée:

Démarrer le personnalisateur Grub
Vous verrez la liste des entrées du menu grub. Faites un clic droit sur l'un et choisissez "Renommer".
Entrez le nouveau nom
Cliquez sur enregistrer dans la barre d'outils et fermez le programme

C'est ça.

Jenny O'Reilly
la source

Comme je l'ai déjà dit dans ma question, je ne souhaite pas installer quoi que ce soit qui ne provienne pas des dépôts officiels, donc les PPA ne sont pas une option. N'est-ce pas disponible dans les dépôts officiels?

Désolé, j'ai dû manquer ça. Je ne pense pas que ce soit dans le dépôt officiel. C'est un moyen agréable et facile si vous ne souhaitez pas modifier les fichiers de configuration avec un éditeur. Je laisserai toujours la réponse au cas où cela aiderait quelqu'un d'autre.

Jenny O'Reilly

Pour insérer automatiquement le numéro de version d'Ubuntu et votre propre préfixe de texte, remplacez

GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`

avec

# GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_DISTRIBUTOR=`{ printf My_Text_ && lsb_release -d -s ; } 2> /dev/null || echo Debian`

Je mets généralement du texte d'identification comme 750G_ pour la taille du disque, qui montrerait

750G_Ubuntu 19.10

pour Ubuntu 19.10.

Cela a été testé avec Ubuntu 16.04 et 19.10. Non, je ne sais pas comment mettre un suffixe. Non, je ne sais pas comment insérer des espaces. J'ai échangé plusieurs disques sur des ordinateurs multi-lecteurs et je voulais juste confirmer où j'étais.

brewmanz
la source