Je cherche comment personnaliser la taille de la police des icônes du bureau sur l'édition Ubuntu 19.10 GNOME (standard). Par exemple, je veux 8px.
Avec 18.04, c'était aussi simple que
gsettings set org.gnome.nautilus.desktop font 'Ubuntu 8'
Le 19.10, il n'y a pas de org.gnome.nautilus.desktop
schemadir. J'ai cherché dans tous les paramètres gsettings list-recursively
et dconf dump /
, ne trouve aucune police liée aux icônes du bureau.
Modifier:
pour changer la taille de la police localement ..
déterminez d'abord le thème utilisateur que vous utilisez. Par exemple, si vous utilisez /usr/share/gnome-Shell/theme/Yaru/gnome-Shell.css
créez votre propre thème dans ~/.themes/
répertoire. Par exemple DesktopFont
la structure doit être comme ~/.themes/DesktopFont/gnome-Shell/gnome-Shell.css
avec ci-dessous contenet
@import url("/usr/share/gnome-Shell/theme/Yaru/gnome-Shell.css");
.name-label {
font-size: 40px;
}
Vous avez besoin de l'extension User-Themes gnome-Shell pour sélectionner des thèmes personnalisés.
Lorsque vous sélectionnez ce thème .. la taille de la police sera selon votre personnalisation.
Pour un changement unique quel que soit le thème Shell comme ci-dessus, suivez ci-dessous.
éditez le fichier /usr/share/gnome-Shell/extensions/desktop-icons@csoriano/stylesheet.css
.name-label {
text-shadow: 1px 1px black;
color: green;
text-align: center;
font-size: 40px;
}
J'ai déjà édité la partie ci-dessus. J'ai ajouté la ligne font-size: 40px;
et a changé la couleur en vert.
Une autre image de personnalisation: