Contenu | Rechercher | Menus

Annonce

DVD, clés USB et t-shirts Ubuntu-fr disponibles sur la boutique En Vente Libre

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 02/12/2013, à 22:39

Vaykadji

[Tuto] Changer le nom de sa distrib dans grub

Hello !

Bon, c'est assez inutile vu que ça change uniquement le nom de la distribution dans le menu du grub, mais je me suis dit que c'était toujours bon à noter quelque part.

1) Aller dans /etc/default

cd /etc/default

2) Créer un répertoire grub.d

mkdir grub.d

3) Ouvrir un nouveau fichier appelé "50_nomdeladistrib.cfg"

sudo nano 50_nomdeladistrib.cfg

4) Copier-coller ceci à l'intérieur :

#! /bin/sh
set -e

if [ "${GRUB_DISTRIBUTOR}" = "Ubuntu" ] ; then
   GRUB_DISTRIBUTOR="Nomdeladistrib"
fi

5) Enregistrer (ctrl-o) et reconstruire le grub

sudo update-grub

Hors ligne

#2 Le 09/12/2013, à 18:22

tiramiseb

Re : [Tuto] Changer le nom de sa distrib dans grub

Salut,

Il est beaucoup plus simple de changer la ligne GRUB_DISTRIBUTOR dans le fichier /etc/default/grub...

Par exemple :

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

... puis bien sûr, sudo update-grub...

Dernière modification par tiramiseb (Le 09/12/2013, à 18:22)

Hors ligne

#3 Le 09/12/2013, à 19:55

Vaykadji

Re : [Tuto] Changer le nom de sa distrib dans grub

L'avantage étant évidemment de pouvoir modifier le nom de la distribution à distance (par installation de paquet par ex) et garder ainsi le etc/default/grub tel quel, y compris les modifications qu'aurait fait l'utilisateur.

C'est la technique utilisée par KDE en tous cas, ils doivent avoir une raison^^

Hors ligne

#4 Le 09/12/2013, à 21:15

tiramiseb

Re : [Tuto] Changer le nom de sa distrib dans grub

Oui, si c'est pour faire un complément automatique, comme ce que fait Kubuntu, ce n'est pas mal comme approche. Mais tu avais l'air de donner une astuce pour l'utilisateur bidouilleur, pas pour le développeur de paquet big_smile

Hors ligne

#5 Le 09/12/2013, à 23:40

Vaykadji

Re : [Tuto] Changer le nom de sa distrib dans grub

C'est surtout qu'après avoir installé KDE puis désinstallé, le grub continuait à m'afficher "Kubuntu"... Et j'ai cherché, je ne l'ai vu référencé nulle part, alors une fois la solution trouvée, je me suis dit que j'allais tout de même le poster, parce que bon, c'est toujours bon d'avoir une référence quelque part de quoi fait quoi.

(note: apt-get remove --purge ne m'avait pas nettoyé ce fichier, abusé)

Hors ligne

#6 Le 10/12/2013, à 08:36

tiramiseb

Re : [Tuto] Changer le nom de sa distrib dans grub

le grub continuait à m'afficher "Kubuntu"...
[...]
(note: apt-get remove --purge ne m'avait pas nettoyé ce fichier, abusé)

As-tu bien désinstallé le paquet "kubuntu-settings-desktop", qui contient ce fichier ?

Hors ligne

#7 Le 10/12/2013, à 23:03

Vaykadji

Re : [Tuto] Changer le nom de sa distrib dans grub

En effet non, j'ai pourtant suivi les directives trouvée sur le net pour virer les dépendances de kubuntu-desktop

Hors ligne