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 18/05/2019, à 08:53

Christophe C

Personnaliser menu grub [résolu]

Dans /etc/grub.d, il y a les fichiers d'init qui gèrent le grub. Et qu'on peut personnaliser (en théorie).

J'ai ajoutés aux fichiers classiques (00_header, ; 05_debian_theme ; 10_linux ; etc ....) un fichier 40_custom (en fait il existait, mais vide).

L'idée est d'avoir un menu personnalisé. J'ai en effet 4 version de linux en parallèle, et mon grub devient très bordélique. Je voulais 2 lignes en haut (mes install principales), un séparateur ("====="), et le menu complet en dessous.

En pratique, ça marche .... a l'envers smile. Le menu "classique" est en haut, suivi du menu customisé, suivi du séparateur.

Voilà le code de mon fichier 40_custom.

Comme indiqué, tout marche, mais pas dans le bon ordre. C'est donc surtout ce point que je voudrais résoudre. Si quelqu'un peut m'aider, ce serait bien.

#!/bin/sh
exec tail -n +3 $0

menuentry "Xubuntu sur sda1" {
recordfail
gfxmode $linux_gfx_mode
insmod gzio
insmod part_msdos
insmod ext2
set root='(hd0,0)'
search --no-floppy --fs-uuid --set=root 5e56449c-22d7-4819-86d6-78c8078a3580
linux /vmlinuz root=UUID=5e56449c-22d7-4819-86d6-78c8078a3580 ro quiet splash $vt_handoff
initrd /initrd.img
}

menuentry "Gnome-Shell sur sda2" {
recordfail
gfxmode $linux_gfx_mode
insmod gzio
insmod part_msdos
insmod ext2
set root='(hd0,1)'
search --no-floppy --fs-uuid --set=root 7a121975-abae-4ae4-a001-30181d207834
linux /vmlinuz root=UUID=7a121975-abae-4ae4-a001-30181d207834 ro quiet splash $vt_handoff
initrd /initrd.img
}

## ligne vide
menuentry "   " {true}
## ligne de sous-titre
menuentry "==================     Menu Grub Classique     ==================" {true}

Dernière modification par Christophe C (Le 18/05/2019, à 10:01)


BountySource - Faite un petit don, ponctuel ou récurent, pour soutenir le développement de XFCE.
Timeshift - Sécurité : pensez à paramétrer des points de restauration système.
Euclide : « Ce qui est affirmé sans preuve peut être nié sans preuve ».

Hors ligne

#2 Le 18/05/2019, à 08:59

kholo

Re : Personnaliser menu grub [résolu]

salut,
comme tu peux le voir, ces fichiers commencent par un numéro...
et bien il y a juste à changer ce numéro pour mettre dans un autre ordre !
NB : ces numéros sont "relativement" arbitraire
puis un

sudo update-grub

et voilou !

Hors ligne

#3 Le 18/05/2019, à 09:02

Christophe C

Re : Personnaliser menu grub [résolu]

Oui, je venait de comprendre.
j'ai passé 40_custom en 07_custom, et ça marche.

merci smile !


BountySource - Faite un petit don, ponctuel ou récurent, pour soutenir le développement de XFCE.
Timeshift - Sécurité : pensez à paramétrer des points de restauration système.
Euclide : « Ce qui est affirmé sans preuve peut être nié sans preuve ».

Hors ligne