Changer la famille de polices
Je peux changer les couleurs du nom de fichier avec ce fichier css. (gtk.css)
Mais je ne peux pas définir la police ou la propriété en gras, c'est toujours la police par défaut et en gras.
Comment puis-je changer la famille ou le poids de la police? Merci! Exemple: image de mon bureau:)
--- (
L'emplacement clé de la police de bureau dans la base de données dconf a été modifié. Pour changer la police du bureau dans Ubuntu 16.04 ou une version ultérieure, utilisez cette commande
gsettings set org.gnome.nautilus.desktop font 'Noto Sans 11'
Ici, j'ai utilisé Noto Sans comme police et 11 comme taille. Utilisez n'importe quelle police et taille que vous utilisez. Si vous voulez utiliser la variante gras, ajoutez bold après le nom de la police dans la commande.
La même chose peut être faite en utilisant dconf-editor en naviguant dans les répertoires respectifs.