[Linux] Enlever Fedora 17 du Grub

Pierre-Marie Lepage gaspardelanuit@::1
Ven 15 Mai 22:18:12 CEST 2015


Le vendredi 15 mai 2015 à 18:55 +0200, Bernard Schoenacker a écrit :
> Le Fri, 15 May 2015 18:17:54 +0200,
> jp willm <nicole.jeanpaul.willm@::1> a écrit :
> 
> > Bonsoir,
> > 
> > Le 15/05/2015 17:34, Pierre-Marie Lepage a écrit :
> > >
> > > Ah oui.. le Grub peut être remis à jour mais pas son menu..
> > 
> > Si on peut modifier le menu :
> > 
> > http://monubuntu.com/html/ubuntu/42.intitule_grub_2.php

> 
> 
> Changer le petit nom des OS linux dans le menu
> Un titre dans le menu se présente en général sous cette forme :
> "Ubuntu, Linux [une série de numéro indiquant la version du
> noyau]-generic".
> Pas très affriolant, n'est-ce pas ?
> 
> La première chose que l'on peut faire est ne plus indiquer le numéro
> du noyau :
> Éditer le script de lancement du système :
> gedit /etc/grub.d/10_linux
> 
> Chercher la première ligne commençant par "linux_entry", à la fin du
> fichier. Par défaut, cette ligne ressemble à ça :
> 
> linux_entry "${OS}, Linux ${version}" \
> 
> En supprimant ${version}, on supprime la série de numéro dans
> l'affichage du menu.
> 
> On peut bien sûr continuer à customiser cette ligne à souhait en y
> inscrivant à peu près ce qu'on veut (mais attention, il vaut tout de
> même mieux que ça reste utilisable).
> 
> Mettre à jour grub 2 : sudo update-grub2
> 
> On peut aussi modifier carrément le petit nom de sa distribution dans
> le menu !
> Éditer le fichier de configuration de Grub2 :
> sudo gedit /etc/default/grub
> 
> Chercher l'entrée GRUB_DISTRIBUTOR= (5ième ligne utile) et remplacer
> ce qu'il y a derrière le signe égal par `echo -n Ma distrib en
> remplaçant "Ma distrib" par ce que vous voulez, enregistrer.
> 
> Mettre à jour grub : sudo update-grub2
> 
> Je n'ai pas vu d'indication concernant mon problème: enlever Fedora 17
> du menu.. merci pour l'indication concernant les modofications dans le
> menu.
> pim
> > >
> > 
> 
> bonjour,
> 
> 
> merci jp pour le lien, mais après il faudra de nouveau régénérer le
> menu grub ...
> 
> commande à faire en mode "root" :
> 
> grub2-mkconfig -o /boot/grub2/grub.cfg
> 
> ne pas faire update-grub
> 
> slt
> bernard


Plus d'informations sur la liste de diffusion linux