Mattepuffo.com

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.....