J'utilise Ubuntu Gnome 16.04.1 et je souhaite redimensionner les icônes dans le tiret. Par conséquent, je voulais modifier le fichier /usr/share/gnome-Shell/themes/gnome-Shell.css.
Ce fichier n'existe pas, mais plutôt le fichier "gnome-Shell.css.save", que je ne peux pas ouvrir. Des idées?
Et est-ce même le bon fichier pour changer la taille de l'icône? Je ne parle pas des icônes du bureau, mais des icônes du tiret.
Je sais qu'il y a eu beaucoup de questions similaires, mais j'ai cherché sur Google toute la nuit sans pouvoir trouver la bonne réponse.
Merci beaucoup.
Vous pouvez récupérer une copie du css par défaut de Shell ici:
https://raw.githubusercontent.com/GNOME/gnome-Shell/master/data/theme/gnome-Shell.css
Vous pouvez en effet l'utiliser comme base pour remplacer le style de shell par défaut, par exemple pour augmenter la taille de la police.
Obtenez l'extension de thème d'utilisateur:
https://extensions.gnome.org/extension/19/user-themes/
Créez un répertoire:mkdir $HOME/.themes/new-theme-name/gnome-Shell
Copiez ce fichier de base Gnome dans celui-ci:
cd $HOME/.themes/new-theme-name/gnome-Shell
wget https://raw.githubusercontent.com/GNOME/gnome-Shell/master/data/theme/gnome-Shell.css
Ajoutez la toute fin du fichier avec les "remplacements" souhaités.
Exemple:
/* Increase font size here */
stage {
font-family: cantarell, sans-serif;
font-size: 14pt;
color: white;
}
En utilisant Tweak-tool , passez à votre nouveau thème.
Je me rends compte que le PO a posé des questions sur les icônes, mais cela devrait être un processus similaire.