Modifier la typo de la barre d'activité

massiv · Le 04/02/2012, à 13:27

Bonjour à tous,

En réalité cela fait un moment que je cherche à modifier la typo (police, taille, couleur) de la barre des taches, ou je ne sait comment elle se nomme, de Gnome 3. j'ai tenté de trifouiller dans les entrailles CSS des thèmes mais aucune des modifications que j'ai pu tester n'a eu d'effet sur la dite typo. Je me tourne donc vers vous, en espérant trouver une solution. Ce n'est certes pas un problème fondamental mais quand on est perfectionniste ...

Bien sûr j'ai essayé avec gnome-tweak-tool mais il ne prend pas en charge la barre d'activité. J'ai également tenté, en m'inspirant de ce sujet sur les forums Ubuntu anglo-saxons. L'idée était de modifier gnome-shell.css :

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

J'ai ajouté une police en suivant les règles css à chaque font-family du fichier, mais rien n'y a fait

Des idées ?

papiaud · Le 02/12/2012, à 23:47

massiv a écrit :

Bonjour à tous,
En réalité cela fait un moment que je cherche à modifier la typo (police, taille, couleur) de la barre des taches, ou je ne sait comment elle se nomme, de Gnome 3. j'ai tenté de trifouiller dans les entrailles CSS des thèmes mais aucune des modifications que j'ai pu tester n'a eu d'effet sur la dite typo. Je me tourne donc vers vous, en espérant trouver une solution. Ce n'est certes pas un problème fondamental mais quand on est perfectionniste ...
Bien sûr j'ai essayé avec gnome-tweak-tool mais il ne prend pas en charge la barre d'activité. J'ai également tenté, en m'inspirant de ce sujet sur les forums Ubuntu anglo-saxons. L'idée était de modifier gnome-shell.css :
sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css
J'ai ajouté une police en suivant les règles css à chaque font-family du fichier, mais rien n'y a fait
Des idées ?

bonsoir,
J'ai le même problème, et en plus je voudrais bouger à droite ou à gauche la date et l'heure qui s'affichent en plein milieu.
Il y a beaucoup de déçus/mécontents et beaucoup de questions pour la 11.10 et pas beaucoup de réponses.
Merci de me/nous trouver une solution.

Gaara · Le 05/12/2012, à 09:20

salut,
pour l'horloge il y a une extension ici

JBF · Le 05/04/2013, à 21:35

massiv a écrit :

L'idée était de modifier gnome-shell.css :
sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css
J'ai ajouté une police en suivant les règles css à chaque font-family du fichier, mais rien n'y a fait

Il faut modifier le paramètre font-family au début du fichier. J'ai mis Linux Biolinum et ça marche après avoir relancé la session.

JBF

Dreadid · Le 05/04/2013, à 22:05

Bonjour JBF,
Ma ligne css :

	font-family: sans, sans-serif;

Svp, comment es-ta ligne pour avoir la police Linux Biolinum ?
Merci d'avance

JBF · Le 05/04/2013, à 23:07

J'ai :

/* default text style */
stage {
    font-family: Linux Biolinum, sans-serif;
    font-size: 14pt;
    color: white;
}

JBF

Dreadid · Le 05/04/2013, à 23:31

Merci JBF,

Sous Cinnamon, il faut modifier le css du thème choisi (/usr/share/themes/nom_theme_utilise/cinnamon/cinnamon.css)...

Bon, maintenant, j'ai Linux Biolinum dans mon tableau de bord (par le biais du css évoqué ci-avant) ;
J'ai Linux Biolinum dans mes diverses fenêtres, menus et boîtes de dialogue (par le biais de Paramètres de Cinnamon, Polices de caractère)...

... manque plus qu'à trouver la combine pour avoir également Linux Biolinum sur les divers éléments de mon bureau !

Une idée ?

Dernière modification par dcourbet (Le 06/04/2013, à 00:22)

Dreadid · Le 06/04/2013, à 16:36

Pour modifier la police des icônes du bureau :
Installer dconf-tools.
Puis lancer dconf-editor.

Si vous êtes sous nautilus :
org - gnome - nautilus - desktop
puis dans le champ en face de font, saisissez le nom de votre typo et sa taille (Linux Biolinum 10, par ex.) puis validez.

Si vous êtes sous nemo : org - nemo - desktop
puis même manip que pour nautilus.

Ça y est, tout mon affichage est en Linux Biolinum

Dernière modification par dcourbet (Le 06/04/2013, à 23:52)

Gaara · Le 10/04/2013, à 11:12

Il y a aussi l'extension Elegance Colors, disponible sur un ppa

http://www.webupd8.org/2012/07/elegance … -gets.html

On peut y changer non seulement la typo, mais aussi les couleurs, les arrondis, des pop-up de gnome-shell.
Dans gnome-tweak-tool, séléctionner le theme "Elegance-colors"+avoir l'extension "User Theme"

Dernière modification par gaara92 (Le 10/04/2013, à 11:23)

Ubuntu-fr

Navigation

Liens de recherche

Annonce

#1 Le 04/02/2012, à 13:27

Modifier la typo de la barre d'activité

#2 Le 02/12/2012, à 23:47

Re : Modifier la typo de la barre d'activité

#3 Le 05/12/2012, à 09:20

Re : Modifier la typo de la barre d'activité

#4 Le 05/04/2013, à 21:35

Re : Modifier la typo de la barre d'activité

#5 Le 05/04/2013, à 22:05

Re : Modifier la typo de la barre d'activité

#6 Le 05/04/2013, à 23:07

Re : Modifier la typo de la barre d'activité

#7 Le 05/04/2013, à 23:31

Re : Modifier la typo de la barre d'activité

#8 Le 06/04/2013, à 16:36

Re : Modifier la typo de la barre d'activité

#9 Le 10/04/2013, à 11:12

Re : Modifier la typo de la barre d'activité

Pied de page des forums