Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 07-12-2019 23:14:03

Kiki
Adhérent(e)
Distrib. : Debian 10
Noyau : 4.19.0-6-amd64
(G)UI : Gnome
Inscription : 07-08-2019

[RéSOLU] Changer couleur police barre supérieure

Bonsoir,
sous gnome, je cherche comment changer la couleur du texte (et des icônes si possible) de la barre supérieure (top bar).
J'ai suivi les indications trouvées ici https://askubuntu.com/questions/963667/ … hell-theme :
Dans ~/.themes/MonThème/ j'ai donc édité un fichier gnomeshell.css avec les lignes suivantes :

@import url("/usr/share/themes/copernico-theme-v3.26-b62fc378ad1db2827359f3a3f09940c3c103989e/gnome-shell/gnome-shell.css");
stage {
    font-family: cantarell, Sans-Serif;
    font-size: 11pt;
    color: #000000;
}
 


Mais, ça change bien la couleur d'une partie du texte dans les fenêtre de notifications mais pas dans la barre supérieure.
AVANT 1575758486.png http://pix.toile-libre.org/upload/origi … 758486.png
APRÈS 1575758698.png http://pix.toile-libre.org/upload/origi … 758698.png

J'ai aussi fait quelques essais directement dans le fichier gnome-shell.css du thème (ici copernico), en particulier au niveau de /* TOP BAR */. Le problème c'est que je ne sais pas quelles lignes correspondent précisément au texte de la barre supérieure.

Je précise enfin que je ne suis sous linux que depuis quelques mois, bref encore bien débutant.

Bien évidemment, ce problème n'est pas d'une extrême gravité mais il titille ma curiosité. Merci à vous si vous pouvez y apporter une solution ou quelques pistes pour le résoudre.

Cordialement

Dernière modification par Kiki (10-12-2019 08:13:26)


"Apprendre va de paire avec désapprendre." E Klein
"Si vous ne vous sentez pas bien, faites vous sentir par un autre." F Blanche

Hors ligne

#2 08-12-2019 10:39:30

golgot200
Membre
Distrib. : Archlinux 2018-02-03
Noyau : Linux 5.7.11-arch1-1
(G)UI : Mate (Strict Minimum)
Inscription : 05-08-2007

Re : [RéSOLU] Changer couleur police barre supérieure

Bonjour,

je n'ai pas gnome 3, mais si tu peines pour trouver la partie où se trouve le code pour la couleur désirée, utilises comme moi le code #ff0000, c'est très visuel tu verras smile

Ou couper des portions du code provisoirement peut aider rapidement aussi wink

EDIT: penses bien aussi à marquer tes modifications avec un repère /*  modification pour ....  */

Dernière modification par golgot200 (08-12-2019 10:44:55)

Hors ligne

#3 08-12-2019 11:34:51

Kiki
Adhérent(e)
Distrib. : Debian 10
Noyau : 4.19.0-6-amd64
(G)UI : Gnome
Inscription : 07-08-2019

Re : [RéSOLU] Changer couleur police barre supérieure

Merci pour la réponse et les conseils (en particulier */ .....*/).
Je continue mes recherches à tâtons (pour le moment mon code couleur test est #ffff00) en attendant d'autres réponses.


EDIT : /*.....*/ et non */ .....*/ merci Golgot200

Dernière modification par Kiki (08-12-2019 16:23:51)


"Apprendre va de paire avec désapprendre." E Klein
"Si vous ne vous sentez pas bien, faites vous sentir par un autre." F Blanche

Hors ligne

#4 08-12-2019 16:07:30

golgot200
Membre
Distrib. : Archlinux 2018-02-03
Noyau : Linux 5.7.11-arch1-1
(G)UI : Mate (Strict Minimum)
Inscription : 05-08-2007

Re : [RéSOLU] Changer couleur police barre supérieure

Kiki a écrit :

Merci pour la réponse et les conseils (en particulier */ .....*/).
Je continue mes recherches à tâtons (pour le moment mon code couleur test est #ffff00) en attendant d'autres réponses.



pas :

(en particulier */ .....*/)



mais :

/*     */



wink

Hors ligne

#5 08-12-2019 16:21:47

Kiki
Adhérent(e)
Distrib. : Debian 10
Noyau : 4.19.0-6-amd64
(G)UI : Gnome
Inscription : 07-08-2019

Re : [RéSOLU] Changer couleur police barre supérieure

Oui oui... erreur de frappe... sadhmm

Dernière modification par Kiki (08-12-2019 16:24:23)


"Apprendre va de paire avec désapprendre." E Klein
"Si vous ne vous sentez pas bien, faites vous sentir par un autre." F Blanche

Hors ligne

#6 10-12-2019 08:11:37

Kiki
Adhérent(e)
Distrib. : Debian 10
Noyau : 4.19.0-6-amd64
(G)UI : Gnome
Inscription : 07-08-2019

Re : [RéSOLU] Changer couleur police barre supérieure

Bonjour,
après de multiples tâtonnements dans le fichier gnome-shell.css, j'ai enfin réussi. big_smile
Petite explication si ça peut servir à quelqu'un.
Mon problème était que la couleur de police de la top bar était trop claire en mode transparent avec mon fond d'écran, clair lui aussi.
La couleur à modifier correspond à .panel-button dans la partie /* TOP BAR */
Pour éviter d'avoir un rendu "baveux", j'ai aussi retiré les ombres du texte (text-shadow: none) et des icônes (icon-shadow: none).
Je marque donc en résolu.

Dernière modification par Kiki (10-12-2019 08:12:46)


"Apprendre va de paire avec désapprendre." E Klein
"Si vous ne vous sentez pas bien, faites vous sentir par un autre." F Blanche

Hors ligne

Pied de page des forums