Cambiare Font Terminale

nexso · Messaggio da **nexso** » sabato 5 aprile 2008, 15:16

Ciao ragazzi, vorrei cambiare il font del mio terminale (installarne uno nuovo). Sapreste dirmi come fare?

isileth · Messaggio da **isileth** » sabato 5 aprile 2008, 15:19

Nel menù del terminale scegli "modifica", poi "profili", scegli "modifica"" e da lì puoi vedere le varie possibilità di modifica, tra cui anche il carattere.

nexso · Messaggio da **nexso** » sabato 5 aprile 2008, 16:17

Niente. Nessuna opzione per cambiare carattere...

nexso · Messaggio da **nexso** » martedì 8 aprile 2008, 19:51

Mi autorispondo: Menu > Strumenti di sistema > Editor della configurazione
Dal programma andare in Apps > gnome-terminal > profiles > Default
Lì andare sul campo font e scrivere il nome del font seguito dal tipo di carattere (corsivo, grassetto,ecc.. non obbligatorio) e la dimensione.
Subito dopo aver fatto questo vi spunterà come per magia su modifica profilo tale opzione. >:(

Forum Ubuntu-it