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 01/05/2021, à 19:55

cris22

Modification du fichier gnome-shell.css

Bonjour

J'ai découvert l'existence du fichier gnome-shell.css
Sa modification permet d'harmoniser l'environnement avec le thème en cours quand cela n'est pas fait.

J'ai déjà trouvé quelques entrées de ce fichier me permettant de modifier l’environnement.
Mais je procède de façon empirique, c'est long et parfois les modifs apportées sont sans action apparente.

D’où ma question, quelqu'un a-t-il des liens, tuto ou autres, détaillant la signification et l'action des diverses entrées du fichier gnome-shell.css

En français si possible.

Merci


Ubuntu 20.04 LTS - 64 bits
Mémoire : 3.9 Gio - Carte : GeForce 8600 GTS/PCIe/SSE2 / Mémoire 8 Gio GeForce rtx 2060
Processeur : Intel® Core™2 Quad CPU Q9550 @ 2.83GHz × 4 / Intel® Core™ i5-2500 CPU@ 3.30Ghz*4

Hors ligne

#2 Le 29/07/2021, à 19:00

Amiralgaby

Re : Modification du fichier gnome-shell.css

Bonjour,
Il y a des applications pour changer le thème comme gnome-tweaks
Qui se nomme apparence par la suite quand il est installé.
et forcément tu ne verras pas de modification apparente par la modification manuelle c'est pourquoi je recommanderais même pas de s'en mêler.


Vive la communauté du Libre !!!

Hors ligne