web-dev-qa-db-fra.com

gnome-Shell.css n'existe pas

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.

3
user576230

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.

1
Mark