Bagaimana cara mengubah font default untuk terminal dan gedit?

9

Saya ingin mengubah font stylein terminaldan default geditjuga. Jadi bagaimana cara mengubah font type in Ubuntu 12.04? Setiap bantuan dan saran akan sangat dihargai.

ubuntu-font-family pengguna baru
sumber
1
Kemungkinan duplikat Bagaimana cara mengubah font dan menyesuaikan ukurannya?
coversnail
1
Bukan duplikat total. Meskipun mengubah font sistem tercakup dalam tautan, mengubah font di terminal dan gedit tidak.
amc

Jawaban:

10

Instal gnome-tweak-tool Instal gnome-tweak-tool :

sudo apt-get install gnome-tweak-tool

Cubit

Dalam font Anda dapat mengubah font lebar sistem.

Untuk gedit:

gedit
(sumber: iloveubuntu.net )

Untuk terminal: terminal

abybaddi009
sumber
0

Tidak yakin tentang editor tetapi untuk terminal hanya mengubah font untuk profil default dari

Edit -> Profile Tidak bisa

Bersulang

S

slowko
sumber
0

Untuk terminal, Anda dapat mengklik kanan di jendela konten (bukan bilah judul), dan pilih 'Profil', lalu 'Preferensi profil'. Anda kemudian mendapatkan dialog yang sama seperti yang ditunjukkan pada jawaban 0x00F

Xavier Nodet
sumber