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
) 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
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
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...
La ça devrait être mieux :
https://mega.nz/#F!cDgDWDYa!l9QE0qdawoCw0eAZNR9oyA
Il faut juste tout mettre dans un dossier : MyArch
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
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