Come cambio il carattere predefinito per il terminale e gedit?

9

Voglio cambiare font style in terminal e anche gedit di default. Così come cambiare font type in Ubuntu 12.04 ? Qualsiasi aiuto e suggerimento sarà apprezzabile.

    
posta newuser 04.05.2012 - 16:26

3 risposte

9

Installa gnome-tweak-tool :

sudo apt-get install gnome-tweak-tool

Nei caratteri è possibile modificare il carattere a livello di sistema.

Per gedit:

gedit http://iloveubuntu.net/pictures_me/gedit%20font%2013%20mono.png

Per terminale:

    
risposta data abybaddi009 04.05.2012 - 16:51
0

Non sei sicuro dell'editor, ma per il terminale cambia semplicemente il carattere per il profilo predefinito da

Edit -> Profile menu

Saluti

S

    
risposta data siloko 04.05.2012 - 16:39
0

Per il terminale, puoi fare clic con il pulsante destro del mouse nella finestra del contenuto (non nella barra del titolo) e scegliere "Profili", quindi "Preferenze profilo". Quindi ottieni la stessa finestra di dialogo mostrata nella risposta di 0x00F

    
risposta data Xavier Nodet 08.07.2013 - 14:46

Leggi altre domande sui tag