#1 Le 04/11/2006, à 17:22
- traaf
[HOW-TO] modifier les couleurs des polices gnome
Salut
amateur de thèmes très sombres, je suis le plus souvent frustré par l'apparence générale obtenue avec ces thèmes
Il suffit d'un fond d'écran avec des teintes inadéquates pour que le tout devienne illisible, genre polices du bureau ou des panels noires sur fond bleu foncé
rarement satisfaisant tout ça
apres de longues recherches et triturages de fichiers gtkrc blablabla, ca marche, mais c'est compliqué, et tout à recommencer à chaque modif (ceux qui ont essayé comprendront)
j'ai enfin découvert LA solution : gnome-color-chooser
(référence brute trouvée ici, d'où ce how-to pour rendre cet outil magique plus visible)
tout d'abord, installer les dépendances
sudo apt-get install build-essential checkinstall libglademm-2.4-dev libgtkmm-dev
lesquelles m'ont fait batailler longuement à cause de résidus anciens d'installation de XGL/Compiz, ces dépendances ne sont pas compatibles avec les modifications de libcairo libgtk nécessaires à l'installation de XGL (c'est peut être différent avec des installations à jour, mes versions étaient assez anciennes)
ensuite télécharger les sources sur gnome-look
puis les extraire (clic droit > extraire ici) (mon utilisation de la ligne de commande se réduit au strict minimum)
dans un terminal, se déplacer jusqu'au repertoire créé
(double clic sur le repertoire > clic droit > ouvrir dans un terminal, pour les heureux possesseurs de nautilus-open-terminal)
sinon
cd ~/Desktop/gnome-color-chooser-0.1.3
puis
./configure
si vous n'obtenez pas de message d'erreur
make
sudo checkinstall
et voilà !
ca ressemble a ceci : <Alt><F2>gnome-color-chooser pour le lancer
on coche la case en face du paramètre à modifier, on choisi une couleur, et on applique
Dernière modification par traaf (Le 04/11/2006, à 17:22)
Vault106, musique libre, enjoy it /!\
Hors ligne
#2 Le 09/11/2006, à 00:47
- YS
Re : [HOW-TO] modifier les couleurs des polices gnome
Histoire d'ajouter une source: http://blog-libre.fr/?2006/10/23/36-gnome-color-chooser-enfin-un-outil-graphique-pour-mieux-personaliser-gnome (vu via le Planet)
Aspirant couche-tard, à tendance otageek.
Hors ligne
#3 Le 27/11/2006, à 18:02
- sweetthdevil
Re : [HOW-TO] modifier les couleurs des polices gnome
Rho géniale, ca marche niquel, plus besoin de passe par le fichier!!!
Merci
Hors ligne
#4 Le 07/12/2006, à 15:31
- Teste
Re : [HOW-TO] modifier les couleurs des polices gnome
Super c'est exactement ce que je cherchais
Par contre 87 Mo de dépendances pour pouvoir changer la couleur de la police....
#5 Le 07/12/2006, à 18:13
- traaf
Re : [HOW-TO] modifier les couleurs des polices gnome
87 Mo de dépendances pour pouvoir changer la couleur de la police....
ton install doit être fraiche !
c'est que des trucs que tu aurais fini par installer tôt ou tard !
Vault106, musique libre, enjoy it /!\
Hors ligne
#6 Le 08/01/2007, à 20:44
- T-dy
Re : [HOW-TO] modifier les couleurs des polices gnome
Bonsoir, quel est le dépot nécessaire pour telecharger les paquets?
merci
#7 Le 14/01/2007, à 17:04
- traaf
Re : [HOW-TO] modifier les couleurs des polices gnome
pas dans les dépots
l'install est décrite sur cette page
Vault106, musique libre, enjoy it /!\
Hors ligne
#8 Le 21/04/2007, à 11:26
- the_lucky_duck
Re : [HOW-TO] modifier les couleurs des polices gnome
Impec' par contre une question continue à me torturer, je voudrais des listes en fausse-transparence quand je me sers de la barre de menu, parce que sinon ça fait vraiment moche le gros placard de couleur. Quelqu'un a une solution ?
Hors ligne
#9 Le 14/05/2007, à 08:52
- nanolight
Re : [HOW-TO] modifier les couleurs des polices gnome
Merci à Gou qui nous informe qu'un paquet .deb est disponible ici