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.

Cambiare lo sfondo in Grub2

Grub2 è l'ultima versione del famoso bootloader usato in moltissime distro Linux, ed ormai è sempre più usato.

Alucne distro però (vedi Ubuntu) usano ancora lo sfondo nero e le scritte bianche.

C'è però la possibilità di personalizzare lo sfondo a nostro piacimento.

Come esempio userò Ubuntu, ma, con le dovute modifiche, vale anche per le altre distribuzioni.

Prima di tutto installiamo le splash-images:

$ sudo apt-get install grub2-splashimages

Le immagini verranno installate in /usr/share/images/grub; andiamole a vedere e scegliamo quella che ci piace di più.