Contenu | Rechercher | Menus

Annonce

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 28/02/2018, à 08:12

Crestey

[Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Bonjour à tous,
J'ai plusieurs ubuntu en multiboot, qui sont mal différenciés par grub
Je souhaite enrichir les informations qui s'affichent au grub quand le PC démarre.
J'ai tout ce que je souhaite, sauf l'environnement que je ne parviens pas à afficher

Je modifie /etc/default/grub comme ça
#GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_DISTRIBUTOR=`echo -n $(lsb_release -sdc) $(uname -rm)`
Ce qui me fait apparaître au grub : Ubuntu 16.04.4 LTS xenial 4.13.0-36-generic x86_64
(Notamment x86_64 me dit que la version est en 64bits)

Pour faire apparaitre l'environnement, je pourrais ajouter $XDG_CURRENT_DESKTOP à la ligne GRUB_DISTRIBUTOR
Mais ça ne marche, car je pense la variable XDG_CURRENT_DESKTOP n'est pas connue de root

D'où ma question : Comment puis-je afficher l'environnement depuis root ?

Dernière modification par Crestey (Le 11/04/2018, à 09:19)


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#2 Le 28/02/2018, à 08:21

Nasman

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

N'est ce pas parce que l'environnement n'est pas encore défini au démarrage de grub - il ne doit l'être qu'après le login (gdm ou lightdm)


PC fixe sous Bionic 64 bits et portable avec Focal 64 bits

Hors ligne

#3 Le 28/02/2018, à 08:38

bruno

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

+1 Les variables XDG* ne sont pas définies au moment où GRUB se lance.

Hors ligne

#4 Le 28/02/2018, à 08:38

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Oui c'est sans doute ça. Et mon problème est sans doute sans solution.
Si je comprends, quand on a plusieurs ubuntus en multiboot, même si ce serait sans doute trop lourd, le grub serait plus logique s'il offrait le choix de l'environnement dans un 3ème temps:
1er choix : quel linux (32 ou 64 bit, 14.04 ou 16.04, etc ...) ?
2ème choix :   quel utilisateur ?
3ème choix : quel environnement ?
Sais-tu s'il est possible de changer d'environnement sans se déconnecter ?


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#5 Le 28/02/2018, à 08:52

bruno

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Je me demande à quoi ça sert d'avoir autant de systèmes installés…
Ce que tu demandes est déjà exactement ce qui se passe  :
1. Au démarrage, choix de l'OS avec GRUB
2. Au prompt ou à la de connexion en mode graphique : choix de l'utilisateur et choix de l'environnement de bureau (si plusieurs installés)

Dernière modification par bruno (Le 28/02/2018, à 09:01)

Hors ligne

#6 Le 28/02/2018, à 08:52

moko138

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

La Doc, Crestey, la Doc !
https://doc.ubuntu-fr.org/tutoriel/grub … ns_le_menu
= ht tps://doc.ubuntu-fr.org/tutoriel/grub2_parametrage_manuel#intitule_dans_le_menu


%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel :  À la découverte de dcraw

Hors ligne

#7 Le 28/02/2018, à 09:00

kholo

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Crestey a écrit :

Oui c'est sans doute ça. Et mon problème est sans doute sans solution.
Si je comprends, quand on a plusieurs ubuntus en multiboot, même si ce serait sans doute trop lourd, le grub serait plus logique s'il offrait le choix de l'environnement dans un 3ème temps:
1er choix : quel linux (32 ou 64 bit, 14.04 ou 16.04, etc ...) ?
2ème choix :   quel utilisateur ?
3ème choix : quel environnement ?

salut,
+1 @bruno
trop windowzien...
grub sert à lancer un os
lightdm et gdm font le reste de ce que tu demandes.

Crestey a écrit :

Sais-tu s'il est possible de changer d'environnement sans se déconnecter ?

tu peux avoir deux utilisateurs qui utilisent deux environnements différents wink

Dernière modification par kholo (Le 28/02/2018, à 09:01)

Hors ligne

#8 Le 28/02/2018, à 09:08

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

bruno a écrit :

Je me demande à quoi ça sert d'avoir autant de systèmes installés…

C'est pour plusieurs raisons.
1) Déjà le plaisir de comparer
2) Ensuite il y a parfois des régressions de fonctionnements ou d'ergonomie d'une version à une autre. C'est d'ailleurs pour ça que le système lui-même conserve les anciens noyaux en cas de regressions. Question ergonomie par exemple, la touche F3 de nautilus a été supprimé de 12.04 à 14.04. Donc quand je passe à une version LTS supérieur, j'aime bien garder l'ancienne quelques temps en cas de doute.
3) Il y a aussi parfois des grosses différences de performances : J'ai par exemple noté pour un même ordi et un même xubuntu16.04 une grosse différence entre la version 32bits et 64Bits sur le fonctionnement de kdenlive qui permet de faire des montages vidéos. le 32bits plantent tellement souvent qu'il est quasi inutilisable, alors que le 64 bits ne plante quasiment jamais.
Pour toutes ces raisons, j'aime bien avoir plusieurs versions même si j'en privilégie toujours une.

bruno a écrit :

2. Au prompt ou à la de connexion en mode graphique : choix de l'utilisateur et choix de l'environnement de bureau (si plusieurs installés)

Merci bruno et autant pour moi. C'est ça que je n'ai jamais fait : installer plusieurs environnements sur le même système.
Je vais faire ça.


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#9 Le 28/02/2018, à 09:10

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

kholo a écrit :

trop windowzien...

AAAAhhhhhhhhh !!!!!!!!!!!!!   You just killed me !!!!!!!!!!!! smile


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#10 Le 28/02/2018, à 09:14

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Mais en fait cépafo. A 54 ans on a forcément passé plus de temps sous windows que sous linux wink
Et à cet age, on a d'autant plus de mérite d'avoir fait la bascule sans être informaticien.

Dernière modification par Crestey (Le 28/02/2018, à 09:39)


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#11 Le 28/02/2018, à 09:40

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

moko138 a écrit :

La Doc, Crestey, la Doc !

Je fais toujours une recherche avant de poser une question. Et j'avais précisément lu la doc à l'endroit précis que tu dis :
"Par défaut, la ligne du menu grub concernant la distribution sur laquelle vous êtes affiche «Ubuntu GNU/Linux». Que vous soyez sur une variante (Xubuntu, Lubuntu, Kubuntu,..) ou sur un dérivé (Linux Mint,..), l'intitulé reste le même car il dépend de la commande 'lsb_release'."
Mais c'est "Par défaut", et ça ne veut pas dire qu'on ne peut pas afficher autre chose.
Comme j'ai pu afficher "32bit ou 64bit", j'ai cru qu'on pouvait afficher aussi l'environnement.
Pardon si j'ai polué le forum


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#12 Le 28/02/2018, à 09:47

moko138

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Crestey a écrit :

Comme j'ai pu afficher "32bit ou 64bit", j'ai cru qu'on pouvait afficher aussi l'environnement.

Ben oui, on peut !
Mais faut lire jusqu'au bout du paragraphe.


%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel :  À la découverte de dcraw

Hors ligne

#13 Le 28/02/2018, à 10:43

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

moko138 a écrit :

Ben oui, on peut !
Mais faut lire jusqu'au bout du paragraphe.

J'ai bien tout lu mais ça doit être ma presbytie qui m'empêche de bien tout voir, ou peut-être un alzeihmer naissant de bien tout comprendre. hmm

Je souhaite avoir au boot par exemple:
1) Ubuntu/unity 16.04 32bits
2) Ubuntu/xfce 16.04 64bits
3) Ubuntu/xfce 14.04 32bits
4) Toutoulinux
5) Windows7
Et je souhaite aussi que tout cela ne parte pas en sucette à l'occasion d'une quelconque mise à jour d'un quelconque de ces OS.

A la lecture des réponses précédentes, j'en déduis que c'est impossible.
Mais par pitié, moko138, si c'est possible, ne fait pas durer plus longtemps cet insoutenable suspense smile


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#14 Le 28/02/2018, à 12:08

??

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Crestey a écrit :

Bonjour à tous,
J'ai plusieurs ubuntu en multiboot, qui sont mal différenciés par grub
Je souhaite enrichir les informations qui s'affichent au grub quand le PC démarre.
J'ai tout ce que je souhaite, sauf l'environnement que je ne parviens pas à afficher

Je modifie /etc/default/grub comme ça
#GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_DISTRIBUTOR=`echo -n $(lsb_release -sdc) $(uname -rm)`
Ce qui me fait apparaître au grub : Ubuntu 16.04.4 LTS xenial 4.13.0-36-generic x86_64
(Notamment x86_64 me dit que la version est en 64bits)

Pour faire apparaitre l'environnement, je pourrais ajouter $XDG_CURRENT_DESKTOP à la ligne GRUB_DISTRIBUTOR
Mais ça ne marche, car je pense la variable XDG_CURRENT_DESKTOP n'est pas connue de root

D'où ma question : Comment puis-je afficher l'environnement depuis root ?

Bonjour
Comprenant que tu as plusieurs OS dont les noms n'ont aucun sens,
sachant que le grub multiplie les entrées comme des "petits pains",
je te suggère fortement de te servir du script décrit ICI
Il a deux fonctionnalités:
A) éliminer tout ce qui est redondant.
B) Mettre des noms sympathiques d'une façon simple à l'aide d'un fichier de correspondance qu'il faut bâtir et fournir en paramètre.

répondez par   
            (oOyY) pour lancer la commande sudo blkid ( remise à jour du fichier)
            (nN)   si vous voulez réutiliser le fichier $res_blkid existant
            (aA)   pour arrêter ce programme
            (cC)   permet de choisir un fichier de référence UUID LABEL
                    ce fichier devra être au format blkid
                    (UUID=\"xxxxxx\" LABEL=\"xxxxxx\")

Dernière modification par ?? (Le 28/02/2018, à 12:12)


Utiliser REFIND au lieu du GRUB https://doc.ubuntu-fr.org/refind . Aidez à vous faire dépanner en suivant le guide et en utilisant les outils de diagnostic J'ai perdu ma gomme. Désolé pour les fautes d'orthographes non corrigées.

Hors ligne

#15 Le 28/02/2018, à 14:21

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Merci ??, mais vraiment j'y comprend rien avec le grub.
J'ai vu dans différents forum, en anglais et en français (voir là), que pour avoir par exemple le menu grub :
ubuntu16.04 sda5
ubuntu14.04 sda6
windows sda1
Je devais modifier /etc/default/grub dans sda6 comme suit : GRUB_DISTRIBUTOR="ubuntu14.04", puis faire update-grub
puis modifier /etc/default/grub dans sda5 comme suit : GRUB_DISTRIBUTOR="ubuntu16.04", puis faire update-grub
et qu'ainsi, le grub de sda5 allait bien chercher les infos modifiées dans grub.cfg de sda6.
Mais chez moi, ça ne marche pas. Y a que la première ligne du menu qui est modifiée. La deuxième reste inchangée.
C'est pourtant exactement ce que j'aurais aimé qui marche. hmm
Et quand je regarde le contenu des fichiers de grub.d , j'ai l'impression que c'est très différent de ce qu'on trouve dans les forums.
Donc qu'il y aurait eu récemment des grosses modifs. Donc ?? j'ai un peu peur d'appliquer ton script.

Dernière modification par Crestey (Le 28/02/2018, à 14:26)


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#16 Le 28/02/2018, à 16:59

moko138

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Crestey a écrit :

pour avoir par exemple le menu grub :
ubuntu16.04 sda5
ubuntu14.04 sda6
windows sda1
Je devais modifier /etc/default/grub dans sda6 comme suit : GRUB_DISTRIBUTOR="ubuntu14.04", puis faire update-grub
puis modifier /etc/default/grub dans sda5 comme suit : GRUB_DISTRIBUTOR="ubuntu16.04", puis faire update-grub
et qu'ainsi, le grub de sda5 allait bien chercher les infos modifiées dans grub.cfg de sda6.
Mais chez moi, ça ne marche pas. Y a que la première ligne du menu qui est modifiée. La deuxième reste inchangée.

C'est ça ! Mais tu as oublié de faire

sudo update-grub

dans chaque S.E.,
ou/et de terminer par le S.E. qui a le grub maître.

En plus - mais je ne sais pas si c'est important ou non, et d'après ce que tu dis ("Y a que la première ligne du menu qui est modifiée"), ça marche quand même - tu n'as pas tout à fait respecté la syntaxe donnée par la Doc.


%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel :  À la découverte de dcraw

Hors ligne

#17 Le 28/02/2018, à 17:31

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Non non, je n'ai pas oublié de faire sudo update-grub dans chaque système d'exploitation, et j'ai bien pris soin de terminer par le S.E. qui a le grub maître car j'ai bien pigé ce qu'explique le gars dans le lien que j'indique : https://forum.ubuntu-fr.org/viewtopic.p … #p16899401 .
J'explique dans mon exemple que j'ai bien fait tout ça.
Mais malgré tout ça, ça ne me modifie que la première ligne.


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#18 Le 28/02/2018, à 21:35

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

je viens de refaire cette suite d'opération pour la nième fois, n tendant vers l'infini. Mais cette fois j'ai enregistré ce que j'ai fait.

Sur sda7, j'ai Xubuntu 1604 32bits
J'ai fait ça (cat /etc/default/grub puis update-grub) :

crestey2@PC3:~$ df -h /dev/sda7
Sys. de fichiers Taille Utilisé Dispo Uti% Monté sur
/dev/sda7           20G    7,5G   11G  41% /
crestey2@PC3:~$ cat /etc/default/grub
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
#   info -f grub -n 'Simple configuration'

GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
#GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
#GRUB_DISTRIBUTOR=`echo -n $(lsb_release -sdc) $(uname -rm) XFCE`
GRUB_DISTRIBUTOR="Xubuntu 16.04 32Bits"
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE=640x480

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"
crestey2@PC3:~$ sudo update-grub
Création du fichier de configuration GRUB…
Found background image: /usr/share/images/desktop-base/desktop-grub.png
Image Linux trouvée : /boot/vmlinuz-4.4.0-116-generic
Image mémoire initiale trouvée : /boot/initrd.img-4.4.0-116-generic
Image Linux trouvée : /boot/vmlinuz-4.4.0-112-generic
Image mémoire initiale trouvée : /boot/initrd.img-4.4.0-112-generic
Windows 7 (loader) trouvé sur /dev/sda2
unknown Linux distribution trouvé sur /dev/sda3
Ubuntu 16.04.4 LTS (16.04) trouvé sur /dev/sda5
Ubuntu 16.04.3 LTS (16.04) trouvé sur /dev/sda6
fait
crestey2@PC3:~$

Puis sur sda5 qui contient le grub maître, et où j'ai Ubuntu 1604 32bits j'ai fait ça (cat /etc/default/grub puis update-grub) :

crestey4@PC3:~$ df -h /dev/sda5
Sys. de fichiers Taille Utilisé Dispo Uti% Monté sur
/dev/sda5           12G    7,0G  3,9G  65% /
crestey4@PC3:~$ cat /etc/default/grub
# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.
# For full documentation of the options in this file, see:
#   info -f grub -n 'Simple configuration'

GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
#GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_DISTRIBUTOR="Ubuntu 16.04 32Bits"
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

# Uncomment to enable BadRAM filtering, modify to suit your needs
# This works with Linux (no patch required) and with any kernel that obtains
# the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)
#GRUB_BADRAM="0x01234567,0xfefefefe,0x89abcdef,0xefefefef"

# Uncomment to disable graphical terminal (grub-pc only)
#GRUB_TERMINAL=console

# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
# you can see them in real GRUB with the command `vbeinfo'
#GRUB_GFXMODE=640x480

# Uncomment if you don't want GRUB to pass "root=UUID=xxx" parameter to Linux
#GRUB_DISABLE_LINUX_UUID=true

# Uncomment to disable generation of recovery mode menu entries
#GRUB_DISABLE_RECOVERY="true"

# Uncomment to get a beep at grub start
#GRUB_INIT_TUNE="480 440 1"
crestey4@PC3:~$ sudo update-grub
[sudo] Mot de passe de crestey4 : 
Création du fichier de configuration GRUB…
Image Linux trouvée : /boot/vmlinuz-4.4.0-116-generic
Image mémoire initiale trouvée : /boot/initrd.img-4.4.0-116-generic
Image Linux trouvée : /boot/vmlinuz-4.4.0-112-generic
Image mémoire initiale trouvée : /boot/initrd.img-4.4.0-112-generic
Windows 7 (loader) trouvé sur /dev/sda2
unknown Linux distribution trouvé sur /dev/sda3
Ubuntu 16.04.3 LTS (16.04) trouvé sur /dev/sda6
Ubuntu 16.04.3 LTS (16.04) trouvé sur /dev/sda7
fait
crestey4@PC3:~$

Puis j'ai rebooté, et j'obtiens cet écran grub où on peut voir que seul la première ligne a été modifiée, la ligne sda7 étant inchangée.
p1110357_imagesia-com_1fx2r_small.JPG

Donc là quand même je crois que j'ai bien tout fait mais que ça merdoit quand même ...

Dernière modification par Crestey (Le 28/02/2018, à 21:42)


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#19 Le 28/02/2018, à 21:58

??

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Je ne peux que te rappeler mon post #14


Utiliser REFIND au lieu du GRUB https://doc.ubuntu-fr.org/refind . Aidez à vous faire dépanner en suivant le guide et en utilisant les outils de diagnostic J'ai perdu ma gomme. Désolé pour les fautes d'orthographes non corrigées.

Hors ligne

#20 Le 01/03/2018, à 04:48

moko138

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Donc là quand même je crois que j'ai bien tout fait

Non.
Tu t'es écarté 4 fois de la Doc ! (et de Babdu89 dans ton lien). (Écarté de deux façons et pour deux grub) :
  - Tu mets des guillemets là où la Doc met des `  tu devrais les copier-coller (ce ne sont pas non plus des apostrophes) ;
  - Tu as zappé les echo -n.

Et qu'est-ce que c'est que cette "unknown Linux distribution" sur /dev/sda3 ?
Et pourquoi grub n'arrive-t-il pas à la nommer ?

Et que retourne

ls -la /etc/grub.d/

dans chacune de tes trois distributions ? Parce que si 30_os-prober, par exemple, n'a plus son droit d'exécution, alors dans chaque S.E., avant de lancer

sudo update-grub

, il faudra lancer

sudo os-prober

  Et si tu as des versions différentes de grub, tu vas avoir une inflation progressive
de tes /boot/grub/grub.cfg, qui va allonger tes temps de démarrage.
  D'où l'intérêt du script d'ar barzh paour conseillé par ??

= =

Que tu choisisses la méthode officielle ou le script d'ar barzh paour, l'informatique demande de la rigueur.


%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel :  À la découverte de dcraw

Hors ligne

#21 Le 01/03/2018, à 12:02

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

moko138 a écrit :

Non.
Tu t'es écarté 4 fois de la Doc ! (et de Babdu89 dans ton lien). (Écarté de deux façons et pour deux grub) :
  - Tu mets des guillemets là où la Doc met des `  tu devrais les copier-coller (ce ne sont pas non plus des apostrophes) ;
  - Tu as zappé les echo -n.

Si j'ai pris la liberté d'écrire GRUB_DISTRIBUTOR="Ubuntu 16.04 32Bits" et non GRUB_DISTRIBUTOR=`echo -n Ubuntu 16.04 32Bits` comme la doc le stipule, c'est parce qu'il s'agit en fait de 2 lignes de script qui font la même chose.
Pour s'en convaincre, je renvoie à la célèbre énigme de Coluche enfin résolu : "Quelle est la différence entre un pigeon ?" :

crestey@PC12:~$ toto=`echo -n un pigeon`
crestey@PC12:~$ echo $toto
un pigeon
crestey@PC12:~$ titi="un pigeon"
crestey@PC12:~$ echo $titi
un pigeon
crestey@PC12:~$

En fait, comme tu vois, y a pas de différence smile
Et si j'ai écrit comme ça, c'est que je l'ai vu écrit plusieurs fois comme ça sur les forum, et que c'est plus simple.
En revanche les autres guillemets sont nécessaires pour aller chercher la chaine de caractère ubuntu dans le système

crestey@PC12:~$ GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
crestey@PC12:~$ echo $GRUB_DISTRIBUTOR
Ubuntu
crestey@PC12:~$

Mais si on écrit "ubuntu" en dur, elle ne sont pas nécessaires.
J'ai quand même fait le test (long ...) en respectant les guillemets de la doc, mais comme prévu ça ne change rien.

moko138 a écrit :

Et qu'est-ce que c'est que cette "unknown Linux distribution" sur /dev/sda3 ?

C'est toutoulinux. Un linux qui tient sur 200Mo je croix et qui contient gparted et plein d'autres outils. C'est interdit ?
Je l'ai aussi sur clé pour modifier les partitions. Il me sort souvent de l'embarras.
Au cas où c'est lui qui aurait foutu le boxon, je l'ai viré (effacé sa partition).
Ça ne change rien.

?? a écrit :

sachant que le grub multiplie les entrées comme des "petits pains",

Quand ça m'arrive j'utilise boot-repair et tout rentre dans l'ordre.

Je pense que je vais en rester là, et considérer que ubuntu marche très bien, mais que pour avoir un simple menu du genre :
Ubuntu 32bit
Toutoulinux
Windows

Qui soit stable et ne parte pas en vrille à la première mise à jour d'un OS, c'est à priori un vrai boxon, et je vais vivre sans !
Merci à vous smile

Dernière modification par Crestey (Le 01/03/2018, à 12:04)


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#22 Le 01/03/2018, à 12:11

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Ce que dit Babdu89 ici semblerait confirmer que ce que je souhaite faire n'est plus possible.

Dernière modification par Crestey (Le 01/03/2018, à 12:12)


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne

#23 Le 01/03/2018, à 15:13

moko138

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Crestey a écrit :

Si j'ai pris la liberté d'écrire GRUB_DISTRIBUTOR="Ubuntu 16.04 32Bits" et non GRUB_DISTRIBUTOR=`echo -n Ubuntu 16.04 32Bits` comme la doc le stipule, c'est parce qu'il s'agit en fait de 2 lignes de script qui font la même chose.
Pour s'en convaincre, je renvoie à la célèbre énigme de Coluche enfin résolu : "Quelle est la différence entre un pigeon ?" :

crestey@PC12:~$ toto=`echo -n un pigeon`
crestey@PC12:~$ echo $toto
un pigeon
crestey@PC12:~$ titi="un pigeon"
crestey@PC12:~$ echo $titi
un pigeon
crestey@PC12:~$

En fait, comme tu vois, y a pas de différence smile
Et si j'ai écrit comme ça, c'est que je l'ai vu écrit plusieurs fois comme ça sur les forum, et que c'est plus simple.
En revanche les autres guillemets sont nécessaires pour aller chercher la chaine de caractère ubuntu dans le système

crestey@PC12:~$ GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
crestey@PC12:~$ echo $GRUB_DISTRIBUTOR
Ubuntu
crestey@PC12:~$

Mais si on écrit "ubuntu" en dur, elle ne sont pas nécessaires.
J'ai quand même fait le test (long ...) en respectant les guillemets de la doc, mais comme prévu ça ne change rien.

Merci de tes explications et de tes tests !  smile

Et encore une fois, les ` (AltGr 7 en azerty) NE sont PAS des guillemets ni des apostrophes.

Crestey a écrit :
moko138 a écrit :

Et qu'est-ce que c'est que cette "unknown Linux distribution" sur /dev/sda3 ?

C'est toutoulinux. Un linux qui tient sur 200Mo je croix et qui contient gparted et plein d'autres outils. C'est interdit ?
Je l'ai aussi sur clé pour modifier les partitions. Il me sort souvent de l'embarras.
Au cas où c'est lui qui aurait foutu le boxon, je l'ai viré (effacé sa partition).
Ça ne change rien.

moko138 a écrit :

Et qu'est-ce que c'est que cette "unknown Linux distribution" sur /dev/sda3 ?
Et pourquoi grub n'arrive-t-il pas à la nommer ?

C'étaient deux questions, en aucun cas un reproche. J'ai eu, ou ai encore, installés à côté de mes *buntu, Slitaz, CrunchBang, Knoppix et même windows XP... Et je n'ai aucune raison de reprocher à un ubuntero sa curiosité ou son ouverture d'esprit.
  - -

Crestey a écrit :

Ce que dit Babdu89 ici semblerait confirmer que ce que je souhaite faire n'est plus possible.

Merci de l'info.

Babdu89 a écrit :

Depuis les versions v 2.0 et suivantes.(Os en 14.04)
Seule la modif de l'Os qui lance le menu grub s'affiche. Les autres menuentry affichent 'Ubuntu'...

En revanche Babdu89 a contribué à la mise au point du script d'ar barzh paour qui permet ce que tu souhaites.


%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel :  À la découverte de dcraw

Hors ligne

#24 Le 01/03/2018, à 16:04

??

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

Crestey a écrit :
?? a écrit :

sachant que le grub multiplie les entrées comme des "petits pains",

Quand ça m'arrive j'utilise boot-repair et tout rentre dans l'ordre.
Je pense que je vais en rester là, et considérer que ubuntu marche très bien, mais que pour avoir un simple menu du genre :

Tu as certainement raison, D'autant plus qu'a chaque livraison  d'un nouveau noyau, il faut penser à relancer l'outil
et je viens de découvrir que les  noms de label sont tronqués au premier espace.
Sinon le passage donne

root@u16041:/boot/grub# 
root@u16041:/boot/grub# wc grub.cfg*
    742    3157   38825 grub.cfg
  22982  109075 1257332 grub.cfg-2018:03:01-15:17:04
  23724  112232 1296157 total
root@u16041:/boot/grub# cat grub.cfg | grep -Ei "menuentry "
menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-simple-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, avec Linux 4.4.0-116-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-116-generic-advanced-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, with Linux 4.4.0-116-generic (upstart)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-116-generic-init-upstart-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, with Linux 4.4.0-116-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-116-generic-recovery-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, avec Linux 4.4.0-112-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-112-generic-advanced-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, with Linux 4.4.0-112-generic (upstart)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-112-generic-init-upstart-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, with Linux 4.4.0-112-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-112-generic-recovery-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, avec Linux 4.4.0-109-generic' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-109-generic-advanced-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, with Linux 4.4.0-109-generic (upstart)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-109-generic-init-upstart-299d7644-ae32-43ff-b3db-16987328b52f' {
	menuentry 'MON_UBUNTU_PREFERE_QUE_JE_DESTESTE_COMME_PAS_UN : Ubuntu, with Linux 4.4.0-109-generic (recovery mode)' --class ubuntu --class gnu-linux --class gnu --class os $menuentry_id_option 'gnulinux-4.4.0-109-generic-recovery-299d7644-ae32-43ff-b3db-16987328b52f' {
menuentry 'Tartempion_leMeilleur-pour_toujours : Ubuntu 17.10 (17.10) (sur /dev/sda17)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-simple-71395996-a5af-463e-bbaa-2a2cbb876030' {
	menuentry 'Tartempion_leMeilleur-pour_toujours : Ubuntu (sur /dev/sda17)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-32-generic.efi.signed--71395996-a5af-463e-bbaa-2a2cbb876030' {
	menuentry 'Tartempion_leMeilleur-pour_toujours : Ubuntu, avec Linux 4.13.0-32-generic (sur /dev/sda17)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-32-generic.efi.signed--71395996-a5af-463e-bbaa-2a2cbb876030' {
	menuentry 'Tartempion_leMeilleur-pour_toujours : Ubuntu, with Linux 4.13.0-32-generic (recovery mode) (sur /dev/sda17)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-32-generic.efi.signed-root=UUID=71395996-a5af-463e-bbaa-2a2cbb876030 ro recovery nomodeset-71395996-a5af-463e-bbaa-2a2cbb876030' {
	menuentry 'Tartempion_leMeilleur-pour_toujours : Ubuntu, avec Linux 4.13.0-21-generic (sur /dev/sda17)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-21-generic.efi.signed--71395996-a5af-463e-bbaa-2a2cbb876030' {
	menuentry 'Tartempion_leMeilleur-pour_toujours : Ubuntu, with Linux 4.13.0-21-generic (recovery mode) (sur /dev/sda17)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-21-generic.efi.signed-root=UUID=71395996-a5af-463e-bbaa-2a2cbb876030 ro recovery nomodeset-71395996-a5af-463e-bbaa-2a2cbb876030' {
	menuentry 'Tartempion_leMeilleur-pour_toujours : Ubuntu, avec Linux 4.13.0-19-generic (sur /dev/sda17)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-19-generic.efi.signed--71395996-a5af-463e-bbaa-2a2cbb876030' {
	menuentry 'Tartempion_leMeilleur-pour_toujours : Ubuntu, with Linux 4.13.0-19-generic (recovery mode) (sur /dev/sda17)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-19-generic.efi.signed-root=UUID=71395996-a5af-463e-bbaa-2a2cbb876030 ro recovery nomodeset-71395996-a5af-463e-bbaa-2a2cbb876030' {
menuentry 'Windows Boot Manager (sur /dev/sda2)' --class windows --class os $menuentry_id_option 'osprober-efi-A3C1-2EA7' {
menuentry 'Coluche_eternel : Ubuntu Bionic Beaver (development branch) (18.04) (sur /dev/sda20)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-simple-1ff9ccb7-ff8f-4daa-b8a5-9783075fccef' {
	menuentry 'Coluche_eternel : Ubuntu (sur /dev/sda20)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.15.0-10-generic.efi.signed--1ff9ccb7-ff8f-4daa-b8a5-9783075fccef' {
	menuentry 'Coluche_eternel : Ubuntu, avec Linux 4.15.0-10-generic (sur /dev/sda20)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.15.0-10-generic.efi.signed--1ff9ccb7-ff8f-4daa-b8a5-9783075fccef' {
	menuentry 'Coluche_eternel : Ubuntu, with Linux 4.15.0-10-generic (recovery mode) (sur /dev/sda20)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.15.0-10-generic.efi.signed-root=UUID=1ff9ccb7-ff8f-4daa-b8a5-9783075fccef ro recovery nomodeset-1ff9ccb7-ff8f-4daa-b8a5-9783075fccef' {
	menuentry 'Coluche_eternel : Ubuntu, avec Linux 4.13.0-32-generic (sur /dev/sda20)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-32-generic.efi.signed--1ff9ccb7-ff8f-4daa-b8a5-9783075fccef' {
	menuentry 'Coluche_eternel : Ubuntu, with Linux 4.13.0-32-generic (recovery mode) (sur /dev/sda20)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-32-generic.efi.signed-root=UUID=1ff9ccb7-ff8f-4daa-b8a5-9783075fccef ro recovery nomodeset-1ff9ccb7-ff8f-4daa-b8a5-9783075fccef' {
	menuentry 'Coluche_eternel : Ubuntu, avec Linux 4.13.0-25-generic (sur /dev/sda20)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-25-generic.efi.signed--1ff9ccb7-ff8f-4daa-b8a5-9783075fccef' {
	menuentry 'Coluche_eternel : Ubuntu, with Linux 4.13.0-25-generic (recovery mode) (sur /dev/sda20)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-25-generic.efi.signed-root=UUID=1ff9ccb7-ff8f-4daa-b8a5-9783075fccef ro recovery nomodeset-1ff9ccb7-ff8f-4daa-b8a5-9783075fccef' {
menuentry 'La-nouveauté : Ubuntu Bionic Beaver (development branch) (18.04) (sur /dev/sda24)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-simple-cb50473a-5d9c-441a-9502-690c1c8684d6' {
	menuentry 'La-nouveauté : Ubuntu (sur /dev/sda24)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-25-generic.efi.signed--cb50473a-5d9c-441a-9502-690c1c8684d6' {
	menuentry 'La-nouveauté : Ubuntu, avec Linux 4.13.0-25-generic (sur /dev/sda24)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-25-generic.efi.signed--cb50473a-5d9c-441a-9502-690c1c8684d6' {
	menuentry 'La-nouveauté : Ubuntu, with Linux 4.13.0-25-generic (recovery mode) (sur /dev/sda24)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-25-generic.efi.signed-root=UUID=cb50473a-5d9c-441a-9502-690c1c8684d6 ro recovery nomodeset-cb50473a-5d9c-441a-9502-690c1c8684d6' {
	menuentry 'La-nouveauté : Ubuntu, avec Linux 4.13.0-17-generic (sur /dev/sda24)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-17-generic.efi.signed--cb50473a-5d9c-441a-9502-690c1c8684d6' {
	menuentry 'La-nouveauté : Ubuntu, with Linux 4.13.0-17-generic (recovery mode) (sur /dev/sda24)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.13.0-17-generic.efi.signed-root=UUID=cb50473a-5d9c-441a-9502-690c1c8684d6 ro recovery nomodeset-cb50473a-5d9c-441a-9502-690c1c8684d6' {
menuentry 'ENCORE-UN_AUTRE-QUI_NE-SERT-PAS-souvent : Ubuntu 16.04.3 LTS (16.04) (sur /dev/sda8)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-simple-2bc03293-109c-42db-b967-318e4f7de936' {
	menuentry 'ENCORE-UN_AUTRE-QUI_NE-SERT-PAS-souvent : Ubuntu (sur /dev/sda8)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.4.0-112-generic--2bc03293-109c-42db-b967-318e4f7de936' {
	menuentry 'ENCORE-UN_AUTRE-QUI_NE-SERT-PAS-souvent : Ubuntu, avec Linux 4.4.0-112-generic (sur /dev/sda8)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.4.0-112-generic--2bc03293-109c-42db-b967-318e4f7de936' {
	menuentry 'ENCORE-UN_AUTRE-QUI_NE-SERT-PAS-souvent : Ubuntu, with Linux 4.4.0-112-generic (upstart) (sur /dev/sda8)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.4.0-112-generic--2bc03293-109c-42db-b967-318e4f7de936' {
	menuentry 'ENCORE-UN_AUTRE-QUI_NE-SERT-PAS-souvent : Ubuntu, with Linux 4.4.0-112-generic (recovery mode) (sur /dev/sda8)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.4.0-112-generic-root=UUID=2bc03293-109c-42db-b967-318e4f7de936 ro recovery nomodeset-2bc03293-109c-42db-b967-318e4f7de936' {
	menuentry 'ENCORE-UN_AUTRE-QUI_NE-SERT-PAS-souvent : Ubuntu, avec Linux 4.4.0-21-generic (sur /dev/sda8)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.4.0-21-generic--2bc03293-109c-42db-b967-318e4f7de936' {
	menuentry 'ENCORE-UN_AUTRE-QUI_NE-SERT-PAS-souvent : Ubuntu, with Linux 4.4.0-21-generic (upstart) (sur /dev/sda8)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.4.0-21-generic--2bc03293-109c-42db-b967-318e4f7de936' {
	menuentry 'ENCORE-UN_AUTRE-QUI_NE-SERT-PAS-souvent : Ubuntu, with Linux 4.4.0-21-generic (recovery mode) (sur /dev/sda8)' --class gnu-linux --class gnu --class os $menuentry_id_option 'osprober-gnulinux-/boot/vmlinuz-4.4.0-21-generic-root=UUID=2bc03293-109c-42db-b967-318e4f7de936 ro recovery nomodeset-2bc03293-109c-42db-b967-318e4f7de936' {
menuentry 'System setup' $menuentry_id_option 'uefi-firmware' {
root@u16041:/boot/grub# 

AJOUT Je pense qu'un script qui, constatant qu'un fichier de 22982 lignes  fabriquées par le grub, ramème ce fichier a 742 lignes en incorporant en tête du menuentry  le label du disque  que l'utilisateur maitrise assez bien  mérite de la considération. surtout lorsqu'il prend en compte la possibilité de mettre un label  d'une bonne taille

Dernière modification par ?? (Le 01/03/2018, à 17:14)


Utiliser REFIND au lieu du GRUB https://doc.ubuntu-fr.org/refind . Aidez à vous faire dépanner en suivant le guide et en utilisant les outils de diagnostic J'ai perdu ma gomme. Désolé pour les fautes d'orthographes non corrigées.

Hors ligne

#25 Le 01/03/2018, à 16:41

Crestey

Re : [Résolu] Comment afficher un Grub personnalisé, explicite et immuable.

moko138 a écrit :

C'étaient deux questions, en aucun cas un reproche.

Je n'ai pas pris ça comme un reproche. Mais c'est vrai qu'entre la doc que je ne lis pas assez, et le manque rigueur que tu invoques, j'ai fini par me demander si pour couronner tout ça, je n'avais pas commis l'imprudence d'implémenter un OS exotique. roll
Mais maintenant, je suis rassuré, ce n'est aucune de ces 3 raisons.
La raison profonde, c'est que grub2 a subi une petite régression lors d'une mise à jour où un truc qui marchait ne marche plus.
Alors effectivement Babdu89 m'a répondu que moyennant de faire tourner un script maison ça pouvait palier.
Mais bon, je préfère vivre avec et attendre gentiment grub3 en espérant qu'il corrigera la régression. C'est en effet très long de tester tout ça et assez risqué aussi.
En fait pour tout dire, ça marche quand même à moitié en l'état:
p1110357_imagesia-com_1fx2r_small.JPG
Seul l'intitulé de l'os qui contient grub est modifié sur ce menu comme le confirme Badbu89. Mais si on descend dans n'importe quel menu "option avancé ..." là toutes les lignes sont correctement modifiées !
Donc le terme idoïne que je reprends, c'est "boxon". Grub=boxon ! avec ou sans guillemets.

moko138 a écrit :

Et encore une fois, les ` (AltGr 7 en azerty) NE sont PAS des guillemets ni des apostrophes.

Excuse-moi, ce n'est pas pour ergoter plus longtemps, mais je ne comprends pas ta remarque d'autant que je suis d'accord avec toi. A aucun moment je ne pense avoir fait la confusion entre ' et " et ` ??? J'ai juste souligné l'équivalence de 2 lignes de scripts qui utilisent 2 de ces 3 caractères.

Merci en tout cas. smile

Dernière modification par Crestey (Le 01/03/2018, à 16:42)


Merci à tous.
Sous Ubuntu/XFCE depuis 2013. Ça fonctionne vraiment très bien.

Hors ligne