J'ai un système sur lequel je suis à double démarrage Ubuntu GNOME 15.10 et Ubuntu GNOME 16.04, mais 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", puis-je changer le texte de "Ubuntu" en "Ubuntu GNOME 16.04" ? Et modifiez également les noms des autres options afin 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ûr de le faire, ou si un logiciel peut ê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).
Réponse acceptée :
Ouvrez le fichier de configuration grub :
sudo nano /etc/default/grub
Commentez simplement la ligne commençant par GRUB_DISTRIBUTOR et ajoutez une ligne :
# GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_DISTRIBUTOR="Ubuntu 15.10"
Ensuite, lancez
sudo update-grub
Cela devrait fonctionner après le prochain redémarrage. Vous devrez démarrer les deux installations Ubuntu et changer les deux noms.
Remarque importante : Quelque chose que vous voudrez éviter de faire est de modifier le fichier /etc/lsb-release et en modifiant la valeur de DISTRIB_ID qui est lu à partir de la commande lsb_release -i -s . Bien que cela fonctionne pour renommer l'entrée du menu grub (si vous n'avez pas modifié /etc/default/grub ), d'autres programmes s'appuient également sur le nom par défaut et peuvent planter 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.