J'ai installé Ubuntu GNOME 16.04 LTS
Tout va bien et en douceur. Mais je veux réduire la taille de l'icône dans la grille "Afficher l'application".
Partie centrale en bas de l'écran
Comment puis-je le faire !!
Les thèmes sont maintenant dans des fichiers binaires gresource , vous devrez soit décompresser le fichier gresource, apporter vos modifications et les reconstituer.
mkdir ~/Shell-theme
et créez extractgst.sh
dans ce répertoire, puis collez le texte suivant dans ce fichier.
#! /bin/sh
workdir=${HOME}/Shell-theme
gst=/usr/share/gnome-Shell/gnome-Shell-theme.gresource
mkdir theme
for r in `gresource list $gst`; do
gresource extract $gst $r >$workdir${r/#\/org\/gnome\/Shell/}
done
Exécutez le script ci-dessus, vous obtiendrez tous les fichiers source de gnome-Shell-theme.gresource
.
Utilisez votre éditeur et éditez le fichier gnome-Shell.css
.
Et fixez les valeurs comme suit (vous pouvez choisir d’autres valeurs).
.icon-grid {
spacing: 18px; /* was 36px */
-Shell-grid-item-size: 35px; /* was 70px */
}
.all-app .icon-grid {
-Shell-grid-item-size: 59px; /* was 118px */
}
.all-app .overview-icon {
icon-size: 48px; /* was 96px */
}
Maintenant, vous devez construire un nouveau gnome-Shell-theme.gresource
Téléchargez gnome-Shell-theme.gresource.xml depuis github et mettez-le dans votre répertoire ~/Shell-theme/theme
.
cd ./theme
glib-compile-resources gnome-Shell-theme.gresource.xml
Copiez ensuite le fichier gnome-Shell-theme.gresource
résultant dans le répertoire /usr/share/gnome-Shell
.
Détail: ICI et ici et bbs.archlinux.org