Page 1 sur 1

[grub] modifier couleurs/themes

Publié : dim. 24 sept. 2017, 12:33
par Hino
Bonjour, je voulais modifier les couleurs de grub de manière propre, c'est seulement dans le fichier /etc/grub/default ?

Pour ajouter une image quelle est la manière la plus propre ?

À chaque changement d'image il faut refaire un update-grub/rub-mkconfig ?

Ou seulement spécifier l'emplacement une fois et remplacer l'image ?

Re: [grub] modifier couleurs/themes

Publié : dim. 24 sept. 2017, 17:23
par papajoke
bonjour,
il existe de nombreux thèmes grub dans aur, récupères en un et regardes les sources

Re: [grub] modifier couleurs/themes

Publié : lun. 25 sept. 2017, 11:41
par Hino
En fait je voulais juste changer les couleurs et le fond d'écran, il faut modifier le thème et non le fichier /etc/default/grub ?

Re: [grub] modifier couleurs/themes

Publié : sam. 30 sept. 2017, 16:08
par Harashi
Hino a écrit : lun. 25 sept. 2017, 11:41 En fait je voulais juste changer les couleurs et le fond d'écran, il faut modifier le thème et non le fichier /etc/default/grub ?
Même si ce n'est pas très orthodoxe, il est possible (et plus rapide :roll: ) de modifier le /etc/default/grub pour mettre une image, comme l'atteste ce post du site ubuntu.fr. Normalement ça devrait fonctionner sans plus de retouches, mais sinon il te faudra créer un fichier 05_theme ou quelque chose du genre pour rendre le fond transparent (et voir ton image).

Re: [grub] modifier couleurs/themes

Publié : sam. 30 sept. 2017, 18:58
par Hino
Donc ce n'est pas propre de modifier le /etc/default/grub ?

Après je veux pas spécialement de transparence, je voulais juste changer les couleurs et le fond, mais que ça n'affecte pas grub en mal et que ce soit fait proprement sans incidence

Re: [grub] modifier couleurs/themes

Publié : sam. 30 sept. 2017, 21:06
par Harashi
En fait il vaut mieux éviter de trop tripatouiller le /etc/default/grub car en cas de mauvaise manipulation on risque gros. La méthode vraiment propre consisterait à créer un fichier 05_theme avec toutes les instructions dedans pour modifier ton thème (il doit y avoir des tutos sur le net qui expliquent comment procéder). Cela dit, j'avais fait la manipulation détaillée ce lien à l'époque où mon Grub était géré par Ubuntu et ça marchait sans problèmes (jusqu'à ce que j'ai le malheur d'utiliser grub-customizer). Après c'est surtout valable pour mettre une image complète, si tu cherches juste à modifier les couleurs du fond, il vaut peut-être mieux passer par le fichier 05.

Re: [grub] modifier couleurs/themes

Publié : sam. 30 sept. 2017, 21:35
par benjarobin
C'est un peu tout l'opposé, /etc/default/grub est conçu pour modifier en sécurité certains paramètres de Grub sans avoir besoin de connaître la syntaxe complexe des fichiers de configuration de Grub.
Les fichiers dans /etc/grub.d/ sont pour les utilisateurs avancés, il y a bien plus de risque à générer un fichier grub.cfg invalide avec ta méthode

Re: [grub] modifier couleurs/themes

Publié : sam. 30 sept. 2017, 23:51
par Hino
En clair je dois faire comment ?

Re: [grub] modifier couleurs/themes

Publié : dim. 01 oct. 2017, 09:50
par FenDanT
Coucoux ;)

J'avais fait ça à l'époque et qui fonctionne toujours très bien...

viewtopic.php?f=1&t=14219

8)

Re: [grub] modifier couleurs/themes

Publié : lun. 02 oct. 2017, 03:43
par jimarch
Bonjour FenDanT !
Pas réussi à télécharger ton fichier zippé !
Est-il toujours disponible ? :?:

Re: [grub] modifier couleurs/themes

Publié : lun. 02 oct. 2017, 07:16
par FenDanT
Coucoux ;)

https://mega.nz/fm/ZToRiIjI

Là ça devrait fonctionner, mais redis-moi ;)

Re: [grub] modifier couleurs/themes

Publié : lun. 02 oct. 2017, 12:49
par Harashi
benjarobin a écrit : sam. 30 sept. 2017, 21:35 C'est un peu tout l'opposé, /etc/default/grub est conçu pour modifier en sécurité certains paramètres de Grub sans avoir besoin de connaître la syntaxe complexe des fichiers de configuration de Grub.
Les fichiers dans /etc/grub.d/ sont pour les utilisateurs avancés, il y a bien plus de risque à générer un fichier grub.cfg invalide avec ta méthode
Pourtant on m'a toujours dit que c'était mieux d'utiliser les fichiers /etc/grub.d/ car il est plus facile de contrôler de nombreux paramètres (comme par exemple l'ordre d'exécution via les chiffres au début), voire d'en ajouter avec le fameux 40_custom alors qu'avec /etc/default/grub on risque de tout planter d'un seul coup si on fait une erreur de syntaxe. Cela dit, les tutoriels consultés à l'époque était déjà vieux et dataient de quand Grub 2 venait juste de sortir, donc c'est sûrement moi qui ne suis pas à jour.

Re: [grub] modifier couleurs/themes

Publié : lun. 02 oct. 2017, 13:12
par benjarobin
Euh, tu as 1000 fois plus de chance de faire une erreur de syntaxe dans 40_custom que dans /etc/default/grub. De plus avec un peu de chance, même avec une erreur de syntaxe dans /etc/default/grub tu pourras toujours booter, tandis qu'une erreur dans 40_custom introduit forcément une erreur dans grub.cfg (ce n'est qu'une "concaténation" de la sortie de tous ces fichiers), et donc là tu risques bien plus (pas de menu...).

Après oui, avec 40_custom tu peux en effet contrôler bien plus de paramètres, personnellement je fais tout avec ces fichiers, mais dire que c'est plus "fiable" est juste faux

Re: [grub] modifier couleurs/themes

Publié : jeu. 05 oct. 2017, 16:22
par jimarch
@FenDanT
Coucoux ;

https://mega.nz/fm/ZToRiIjI

Là ça devrait fonctionner, mais redis-moi ;)
Désolé, mais le lien m'envoie directement sur mon compte MEGA sans accès au fichier !

Re: [grub] modifier couleurs/themes

Publié : ven. 06 oct. 2017, 07:55
par FenDanT
Re coucoux ;)

Pfff pas l'habitude faire ça... :lol:

La ça devrait être mieux :

https://mega.nz/#F!cDgDWDYa!l9QE0qdawoCw0eAZNR9oyA

Il faut juste tout mettre dans un dossier : MyArch

:chinois:

Re: [grub] modifier couleurs/themes

Publié : sam. 07 oct. 2017, 03:09
par jimarch
Super, c'est récupéré et importé !
Je vais faire l'adaptation ce WE sur mon portable !

Merci et :bravo:

Re: [grub] modifier couleurs/themes

Publié : sam. 07 oct. 2017, 08:14
par FenDanT
Coucoux ;)

Mais de rien... Tu nous montreras le résultat ;)

Re: [grub] modifier couleurs/themes

Publié : dim. 08 oct. 2017, 17:20
par jimarch
Bonjour !
Voilà le résultat. La photo n'est pas terrible, la couleur jaune de l'option soulignée est peu visible, mais cela donne une idée !
Encore merci !
https://drive.google.com/open?id=0B789I ... 2dIMXZsdEk

Re: [grub] modifier couleurs/themes

Publié : jeu. 12 oct. 2017, 07:57
par FenDanT
Coucoux ;)

:bravo: :bravo: :bravo: