Ubuntu-fr

dranreb30

police du menu de gestionnaire de fichiers ubuntu 14.04

Bonjour,

En vain , je n'arrive pas a changer la police du menu de gestionnaire de fichiers  (onglets documents, home etc + menu déroulant options d'affichage options d'emplacement ) . mise à niveau vers Ubuntu 14.04. environnement Gnome shell .  ..

Merci pour votre aide

alca94

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

Bonsoir
A tout hasard dans "Paramètres systèmes" ---> Saisie de texte ---> en bas a droite a cocher = Utiliser une police personnalisée ---> clic sur la case

---

POUR METTRE LES RETOURS DU "TERMINAL"  voir les explications sur ce post
https://forum.ubuntu-fr.org/viewtopic.p … #p17345641

dranreb30

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

Bonsoir , merci pour la réponse mais pas de "saisie de texte" dans "paramètres système"

alca94

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

Si vous êtes bien sous Ubuntu vous devez avoir ça

---

POUR METTRE LES RETOURS DU "TERMINAL"  voir les explications sur ce post
https://forum.ubuntu-fr.org/viewtopic.p … #p17345641

Ayral

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

Dans l'environnement Gnome Shell c'est peut être différent, mais c'est sûrement quelque part.

---

Pour mettre les retours de commande entre deux balises code, les explications sont là : https://forum.ubuntu-fr.org/viewtopic.php?id=1614731
Blog d'un retraité
Site de graphisme du fiston Loïc
Ubuntu 22.04 LTS sur un Thinkpad W540

alca94

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

je ne connais pas "gnome-shell" par contre dans XUBUNTU c'est dans "paramètres ---> gestionnaire des fenêtres c'est peut-être là aussi ?

EDIT = voir "Gnome-tweak-tool" dans la doc
https://doc.ubuntu-fr.org/tutoriel/pers … tweak-tool

Dernière modification par alca94 (Le 11/07/2015, à 22:38)

---

POUR METTRE LES RETOURS DU "TERMINAL"  voir les explications sur ce post
https://forum.ubuntu-fr.org/viewtopic.p … #p17345641

dranreb30

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

.....En tout cas ce n'est pas dans paramètres système  , pas de paramètres gestionnaire des fenètres non plus ...
rien non plus dans Tweak tool j'ai essayé un peu tout...Il y a bien un gestionnaire de Fenêtre Compiz mais je ne vois rien qui correspond.

Dernière modification par dranreb30 (Le 11/07/2015, à 22:44)

Ferod

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

rien non plus dans Tweak tool j'ai essayé un peu tout...

Bizarre... Dans Tweak Tool, dans l'onglet Police on peut changer la police de l'interface et ça change bien la police des menus dans nautilus (dans les menus, les raccourcis, les noms des fichiers, etc...)
https://ryanlerch.fedorapeople.org/tweaktool.png

---

"When I was in the military, they gave me a medal for killing
two men, and a descharge for loving one !" Leonard Matlovich

dranreb30

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

Oui Bizzare dans Tweak tool tout est à "optima 8 normal " et dans la barre du navigateur de Fichiers c'est une police au corps bien plus gros , en gras et blanche en plus....

dranreb30

Re : police du menu de gestionnaire de fichiers ubuntu 14.04

En fait dans Nautilus, plein d'options bien utiles avaient  disparues , donc j'ai remplacé par Némo et le problème est résolu , enfin , contourné plutôt ...
Au passage j'aimerais bien changer la police des  les bulles d'aide (texte encadré )...