Page 1 sur 1

paramètre grub_distributor ds /etc/default/grub

Posté : sam. 18 juil. 2020 15:48
par Mike33
Bonjour,
Dans ce fichier paramétrable pour Grub2 le paramètre "GRUB_DISTRIBUTOR" permet de personnaliser l'affichage des libellés du menu grub au démarrage, entr'autre à partir du contenu de lsb_release. Or, j'ai beau le modifier, cela ne change pas l'affichage. J'ai toujours l'affichage: "Linux Mint 20 Cinnamon" . Ceci est-il gravé dans le marbre et inchangeable ou de quel fichier cela provient-il ? Cela fonctionnait bien dans les versions précédentes de LM.
Merci pour une explication que je n'ai pas trouvée .

Re: paramètre grub_distributor ds /etc/default/grub

Posté : sam. 18 juil. 2020 17:29
par ryry331
Bonjour

Peut etre faut il faire

Code : Tout sélectionner

sudo update-grub

Re: paramètre grub_distributor ds /etc/default/grub

Posté : sam. 18 juil. 2020 17:48
par Mike33
merci ryry331 mais c'est ce que j'ai bien sur fait lors de mes tentatives de modif.
Avec l'ancienne vercion 19.3 on pouvait modifier dans /etc/default/grub le paramètre GRUB_DISTRIBUTOR à notre "sauce" . L'avantage était que même avec les maj de Mint cela restait modifié. Seulement avec LM 20.0 cela ne fonctionne plus .
Où ce libellé à l'affichage graphique des lignes Grub2 je ne peux rien cahnger ety j'ai toujours "Linux Mint 20 Cinnamon" .

Re: paramètre grub_distributor ds /etc/default/grub

Posté : sam. 18 juil. 2020 19:40
par arghlub
Salut Mike,

Quelle est la valeur exacte que tu as attribuée à la variable GRUB_DISTRIBUTOR ?
Donne-nous le retour de la commande :

Code : Tout sélectionner

cat /etc/default/grub | grep "GRUB_DISTRIBUTOR"

Re: paramètre grub_distributor ds /etc/default/grub

Posté : dim. 19 juil. 2020 18:30
par Mike33
Bonjour arghlub,
Voici les tests que j'ai effectué:
- un classique
- un perso

Code : Tout sélectionner

$ cat /etc/default/grub | grep "GRUB_DISTRIBUTOR"
GRUB_DISTRIBUTOR=`lsb_release -dc -s 2> /dev/null || echo Debian`
#GRUB_DISTRIBUTOR=`echo -n $(lsb_release -sdc) $(uname -r)`
Et cela ne donne rien,

Re: paramètre grub_distributor ds /etc/default/grub

Posté : lun. 20 juil. 2020 12:27
par Mike33
Bonjour cyrille
Cette ligne de code : $ lsb_release -dc -s 2> /dev/null || echo Debian est celle fourni par défaut par Mint 20.0 lors de son installation.
Il y avait la même en 19.3 et cela marchait trés bien.
Je n'ai pas confondu de touches clavier.
lsb_release -dc -s > /dev/null je sais que cela redirige sur la voie de garage avec aucun affichage
2> /dev/null redirige uniquement les erreurs dans ce tube OK je le sais bien .
La redirection est celle par defaut à l'install, je ne pense pas que chez les développeurs LM ne sachent pas ce qu'ils font, je leur fait confiance en conservant leur ligne.

cat /etc/lsb-release => donne ce résultat.

Code : Tout sélectionner

DISTRIB_ID=LinuxMint   
DISTRIB_RELEASE=20
DISTRIB_CODENAME=ulyana
DISTRIB_DESCRIPTION="Linux Mint 20 Ulyana"
de plus les options sont:
Options:
  -h, --help         show this help message and exit
  -v, --version      show LSB modules this system supports  (No LSB modules are available ?)
  -i, --id           show distributor ID   ==> donc Linuxmint
  -d, --description  show description of this distribution ==> donc Linux Mint 20
  -r, --release      show release number of this distribution  => donc 20
  -c, --codename     show code name of this distribution ==> donc ulyana
  -a, --all          show all of the above information
  -s, --short        show requested information in short format
(permet mettre sur même ligne)

De même GRUB_DISTRIBUTOR=`echo -n TITRE PERSONNALISÉ $(lsb_release -rs 2> /dev/null || echo Debian)` devrait donner : TITRE PERSONNALISÉ 20.0 GNU/Linux
MAIS aucune écriture ne fonctionne comme elle le devrait: on a toujours ces quatre mots
"Linux Mint 20 Cinnamon" . Provenance ? C'etait ma question.

Je sais que l'on peut aller "bidouiller " le /etc/os-release mais nulle part ces 4 mots

Code : Tout sélectionner

cat /etc/os-release
NAME="Linux Mint"
VERSION="20 (Ulyana)"
ID=linuxmint
ID_LIKE=ubuntu
PRETTY_NAME="Linux Mint 20"
VERSION_ID="20"
HOME_URL="https://www.linuxmint.com/"
SUPPORT_URL="https://forums.ubuntu.com/"
BUG_REPORT_URL="http://linuxmint-troubleshooting-guide.readthedocs.io/en/latest/"
PRIVACY_POLICY_URL="https://www.linuxmint.com/"
VERSION_CODENAME=ulyana
UBUNTU_CODENAME=focal
Je pensais pouvoir conserver les possibilités de la 19.03 et autres précédentes versions de LM comme le montre ce que l'on peut faire avec la ligne écrite en commentaire et qui fonctionnait.

On verra avrec les mise à jour futures ...
Merci tout de même cyrille pour ton aide sympatique

Re: paramètre grub_distributor ds /etc/default/grub

Posté : lun. 20 juil. 2020 13:50
par arghlub
re Mike,
J'ai modifié tes 2 derniers messages pour mettre les retours du terminal entre balises “Code”.
Il faut utiliser ces balises (sélectionner le code et cliquer sur Image) pour tout ce qui concerne le terminal (commandes, retours de commandes, etc…), cela améliore grandement la lisibilité.
Voir tuto Barre d'outils des messages.
;)

Re: paramètre grub_distributor ds /etc/default/grub

Posté : lun. 20 juil. 2020 15:26
par Mike33
Merci arghlub et toute mes excuses.
Je viens de relire l'utilisation de ces icones, mea culpa.
Bien à Toi.

Re: paramètre grub_distributor ds /etc/default/grub

Posté : lun. 20 juil. 2020 17:51
par Mike33
Bonjour,
A force de chercher il me semble avoir trouvé la raison.
Ce titre "Linux Mint 20 Cinnamon" semblerait provenir du fichier /etc/linuxmint/info

Code : Tout sélectionner

cat /etc/linuxmint/info
RELEASE=20
CODENAME=ulyana
EDITION="Cinnamon"
DESCRIPTION="Linux Mint 20 Ulyana"
DESKTOP=Gnome
TOOLKIT=GTK
NEW_FEATURES_URL=https://www.linuxmint.com/rel_ulyana_cinnamon_whatsnew.php
RELEASE_NOTES_URL=https://www.linuxmint.com/rel_ulyana_cinnamon.php
USER_GUIDE_URL=https://www.linuxmint.com/documentation.php
GRUB_TITLE=Linux Mint 20 Cinnamon Testmint
J'ai ajouté au paramètre GRUB_TITLE le mot Testmint pour vérifier ... il apparait bien dans la ligne d'affichage de grub c'est donc bien de là que le texte de grub est tiré à mon humble avis.

lsb_release et 10_linux ne sont pas utilisé à cet effet. Ce serait gravé dans le marbre depuis ce fichier et seulement ce fichier avec ce paramètre GRUB_TITLE que je ne connaissais pas.
Mon but au départ était de pouvoir différencier le texte de cette ligne afin de savoir au boot quelle distribution lançait le grub2 . (Je n'avais pas trouvé un autre moyen sur et simple avec le GRUB_DISTRIBUTOR de /defaut/grub).

Est-ce un changement voulu avec la 20.0 ? Je n'ai plus de 19.3 pour le vérifier et cd n'est qu'une supputation . Y a t-uil un aiguillage en amont qui dirige d'office vers ce fichier ?

Re: paramètre grub_distributor ds /etc/default/grub

Posté : dim. 16 août 2020 11:36
par thyam
sujet résolu
si besoin de rouvrir => mp à un membre de l'équipe ;)