> Tous les forums > Forum Linux
 Comment changer le nom d'une distro dans le Grub ?Sujet résolu
Ajouter un message à la discussion
Page : [1] 
Page 1 sur 1
m_n
  Posté le 01/02/2018 @ 15:06 
Aller en bas de la page 
Astucien

Bonjour les amis ,

J'ai un blanc de mémoire .. je ne me souviens plu comment changer le nom d'une distro dans le Grub ..

Avez-vous une idée ?

Excusez mon age ..

Publicité
Slyvester
 Posté le 01/02/2018 à 17:31 
Aller en bas de la page Revenir au message précédent Revenir en haut de la page
Astucien

Bonjour m_n,

Pour modifier une donnée du "Grub", j'utilise "Grub-Customizer", même s'il est décrié par certains puristes. Il me faut gérer - pour le moment - trois distributions Linux toutes basées sur Debian : https://doc.ubuntu-fr.org/grub-customizer

Le même tuto en anglais : http://tipsonubuntu.com/2017/04/19/install-grub-customizer-ubuntu-17-04/



Modifié par Slyvester le 01/02/2018 17:32
m_n
 Posté le 01/02/2018 à 18:07 
Aller en bas de la page Revenir au message précédent Revenir en haut de la page
Astucien

Oui , super ..

Un gros Merci , mon ami ..

Ikewdu_
 Posté le 02/02/2018 à 07:55 
Aller en bas de la page Revenir au message précédent Revenir en haut de la page
Astucien

Salut,

GRUB customizer est très déconseillé sur la plupart des forums Linux. Notamment avec !a version uefi de Grub. Autant le faire directement dans le fichier concerné, à savoir grub.cfg. il suffit de modifier le descriptif de telle ou telle version.

Ma cette méthode est aussi discutable, car le moindre update-grub effacera la modification. Pour faire les choses proprement: on utilise plutôt le fichier 40_custom qui permet d'ajouter l'entrée de son choix. En général, si je veux modifier le nom Windows, je désactive 30_os-prober et je copie le contenu qui m'intéresse dans 40_custom, en le modifiant selon mon besoin. Et là, c'est définitif.

Slyvester
 Posté le 02/02/2018 à 15:47 
Aller en bas de la page Revenir au message précédent Revenir en haut de la page
Astucien

Bonjour,

L'installation de Grub-Customizer sur Ubuntu + dérivées, Linux Mint, ... s'effectue - via terminal - comme ci-dessous :

1)

sudo add-apt-repository ppa:danielrichter2007/grub-customizer

2)

sudo apt-get update ; sudo apt-get install grub-customizer



Modifié par Slyvester le 02/02/2018 15:48
m_n
 Posté le 02/02/2018 à 17:42 
Aller en bas de la page Revenir au message précédent Revenir en haut de la page
Astucien

Merci mes amis ..

Slyvester
 Posté le 04/02/2018 à 10:31 
Aller en bas de la page Revenir au message précédent Revenir en haut de la page
Astucien

Bonjour,

... GRUB customizer est très déconseillé sur la plupart des forums Linux ...

J'aurais préféré lire : "Grub-Customizer est souvent déconseillé par certains". C'est le cas de ce sujet commenté par Pjotr qui déconseille très vivement l'usage de Grub-Customizer : Grub Customizer: why you shouldn't use it :
https://forums.linuxmint.com/viewtopic.php?f=60&t=261910
Personnellement, je partage entièrement l'avis - qui devrait intéresser m_n - de Catweasel. Les articles de Pjotr sont très intéressants, comme celui-ci sur Linux Mint 18.3 Cinnamon : https://sites.google.com/site/easylinuxtipsproject/mint-cinnamon-first

Attention : les liens font référence à des sujets en anglais. L'utilisation de la traduction de Google n'est pas interdite.

Et comme le souligne m_n : Une divergence d'idée n'est pas forcément une attaque ..



Modifié par Slyvester le 04/02/2018 10:32
Ikewdu_
 Posté le 04/02/2018 à 11:59 
Aller en bas de la page Revenir au message précédent Revenir en haut de la page
Astucien

Salut,

Sans aller si loin, quand je lis l'encadré d'avertissement qui accompagne la présentation de ce soft non soutenu par Ubuntu, et sans être aussi radical que malbo (qui sait de quoi il parle, puisqu'il passe son temps depuis des années à dépanner des grub plantés), je me méfie de ces logiciels qui prétendent gérer graphiquement et de manière unilatérale toutes les versions de GRUB, notamment en uefi. Pour avoir testé les dérivées d'Ubuntu et de Fedora, j'ai pu voir que la gestion graphique (entre autres) est très différente, de même que le fonctionnement du fichier GRUB.cfg.

Tout peut se faire aisément à la main, de toute manière. Et tant qu'on y est, si on est en UEFI et qu'on veut un démarrage un peu plus "tendance", plus simple à gérer, et moins usine à gaz que Grub, on se tourne vers refind qui propose un démarrage sûr, très facilement configurable.

Après, bien entendu, chacun est libre de ses choix.



Modifié par Ikewdu_ le 04/02/2018 13:26
Page : [1] 
Page 1 sur 1

Vous devez être connecté pour participer à la discussion.
Cliquez ici pour vous identifier.

Vous n'avez pas de compte ? Créez-en un gratuitement !
Recevoir PC Astuces par e-mail


La Lettre quotidienne +226 000 inscrits
Avec l'actu, des logiciels, des applis, des astuces, des bons plans, ...

Les bonnes affaires
Une fois par semaine, un récap des meilleurs offres.

Les fonds d'écran
De jolies photos pour personnaliser votre bureau. Une fois par semaine.

Les nouveaux Bons Plans
Des notifications pour ne pas rater les bons plans publiés sur le site.

Les bons plans du moment PC Astuces

Tous les Bons Plans
33,98 €Carte mémoire microSDXC UHS-I SanDisk Ultra 200 Go à 33,98 €
Valable jusqu'au 20 Octobre

Amazon fait une promotion sur la mémoire microSDHC UHS-I SanDisk Ultra 200 Go qui passe à 33,98 € livrée gratuitement. On la trouve ailleurs à partir de 40 €. Cette carte mémoire offre des vitesses jusqu'à 90 Mo/s.


> Voir l'offre
43,99 €Caméra de surveillance extérieure TP-Link Tapo C310 à 43,99 €
Valable jusqu'au 20 Octobre

Amazon fait une promotion sur la caméra extérieure de surveillance TP-Link Tapo C310 qui passe à 43,99 € livré gratuitement au lieu de 55 € ailleurs. Cette caméra se connecte à votre réseau en WiFi ou en Ethernet et peut ensuite être contrôlée à distance. Elle offre une définition FullHD 1080p, la vision nocturne, la détection de mouvements (recevez une notification si quelque chose est détecté), une alarme sonore et visuelle. Le stockage se fait en local sur une carte MicroSD. Elle est étanche IP66.


> Voir l'offre
59,99 €Tondeuse sans fil Philips Multigroom 7000 + 8 sabots (cheveux, barbe, corps, oreilles/nez) à 59,99 €
Valable jusqu'au 20 Octobre

Amazon fait une promotion sur la tondeuse sans fil Philips MG7735/15 qui passe à 59,99 € alors qu'on la trouve ailleurs à partir de 80 €. Cette tondeuse en métal peut tailler et sculpter la barbe, les cheveux, le corps, le nez et les oreilles.... 3 sabots cheveux (9, 12 et 16 mm), 2 sabots barbe (1 et 2 mm), sabot barbe ajustable (3 à 7 mm) et 2 sabots pour le corps. L'appareil est 100% étanche et offre une autonomie de 2 heures.


> Voir l'offre

Sujets relatifs
comment accéder au mode texte du grub dans opensuse ?
Comment changer le defaut de Grub
changer la liste dans grub [resoulut]
Reirer des lignes dans le Grub ( Antergos) ( Résolu)
Comment modifier le GRUB de ma bécane ?
Comment activer mon clavier durant le Grub ?
choix impossible dans grub
comment changer son nom sous ubuntu
comment supprimer Grub
Changer l'ordre du DualBoot (/boot/grub/menu.lst)
Plus de sujets relatifs à Comment changer le nom d''une distro dans le Grub ?
 > Tous les forums > Forum Linux