Rimpicciolire le icone in Gnome-Shell

Gnome-Shell lo uso solo sul mio eeepc e quindi le icone risultano un pochino troppo grandi.

Ho trovato il modo di rimpicciolirle e ve lo riporto.

Apriamo un terminale e digitiamo questi comandi:

$ sudo cp /usr/share/gnome-shell/theme/gnome-shell.css /usr/share/gnome-shell/theme/gnome-shell.css.bak

$ sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

Si aprirà gedit con permessi elevati e questo ci permetterà di modificare il file gnome-shell.css, che altro non è che un foglio di stile CSS.

A questo punto dobbiamo modificare alcune righe:

/* Apps */

.icon-grid {
spacing: 18px;
-shell-grid-item-size: 80px;
}

.icon-grid .overview-icon {
icon-size: 48px;
}

Fate varie prove per trovare la vostra giusta dimensione.

Diciamo che questa storia dei fogli di stile è l'unica cosa che veramente mi piace di Gnome-Shell.....