Introduzione
Sicuramente vi sarete trovati ad affrontare la problematica di come cambiare i temi, font, puntatori mouse in Gnome 3, la soluzione è abbastanza semplice. Infatti basta installare il pacchetto «gnome-tweak-tool» (Vedi Immagine-1).
Se anche voi avete problemi con la visualizzazione dei caratteri nel Terminale di Gnome 3 seguite la seguente procedura (vedi Immagine-2):
- Aprite gnome-terminale
- Modifica -> Preferenze del profilo -> Generale
- Togliere la spunta “Usare il tipo di carattere a larghezza fissa di sistema”
- Selezionare un tipo di carattere
Ed il gioco è fatto.
