Come posso cambiare il carattere predefinito per il terminale e gedit?

9

Voglio cambiare anche font stylein terminale per impostazione predefinita. geditQuindi, come cambiare font type in Ubuntu 12.04? Qualsiasi aiuto e suggerimenti saranno apprezzabili.

ubuntu-font-family

— nuovo utente
fonte

1

Possibile duplicato Come posso cambiare i caratteri e regolarne le dimensioni?

— covernail

1

Non è un duplicato totale. Sebbene la modifica dei caratteri di sistema sia coperta dal collegamento, la modifica dei caratteri nel terminale e in gedit non lo sono.

— amc,

10

Installa lo strumento gnome-tweak :

sudo apt-get install gnome-tweak-tool

Tweak

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

Per gedit:

_{(fonte: iloveubuntu.net )}

Per terminale:

— abybaddi009
fonte

0

Non sono sicuro dell'editor, ma per il terminale basta cambiare il carattere per il profilo predefinito da

Edit -> Profile menù

Saluti

S

— slowko
fonte

0

Per il terminale, è possibile fare clic con il pulsante destro del mouse nella finestra del contenuto (non nella barra del titolo) e selezionare "Profili", quindi "Preferenze profilo". Viene quindi visualizzata la stessa finestra di dialogo mostrata nella risposta di 0x00F

— Xavier Nodet
fonte