Apakah mungkin untuk mengubah font Terminal?

53

Saya ingin mengubah font di Terminal, bagaimana saya bisa mencapai ini?

command-line fonts Fawkes5
sumber
2
Terminal yang mana? Apakah Sublime text 2 diinstal pada sistem Anda?
Marty Fried
2
dan font yang mana? -
Anwar
Sublime text 2 diinstal. Font yang saya minati adalah font default yang diinstal dengan sublime. Tidak dapat menemukan namanya
Fawkes5
1
Lihat juga Apa sebutan font default Debian / Ubuntu console (TTY)? dan 7 Font Terminal (Lebar Tetap) Ubuntu Terbaik
Hans Ginzel

Jawaban:

46

Terminal Bash:

Menu, Edit => Preferensi Profil => Tab Umum ; hapus centang Gunakan font lebar tetap sistem , dan pilih font yang Anda inginkan.

Untuk terminal xterm umum, Anda perlu membuat file ~/.Xresources, dan menambahkan pengaturan ke sana, seperti xterm*font: Sublime\ Text\ 2-12untuk 12 poin (ini dugaan, saya tidak tahu apakah itu benar-benar benar).

Marty Fried
sumber
Terminal gnome saya lumpuh ketika saya hapus centang pada kotak centang 'gunakan font lebar tetap sistem'. Apakah ada cara untuk mengubah atau menghapus pengaturan ini tanpa melalui GUI ini?
Jonathan Hartley
Tidak ada menu bernama "Edit" di Ubuntu 18.04 atau Ubuntu 18.04. Mungkin memperbarui jawaban Anda untuk juga mencakup versi Ubuntu yang lebih baru?
Peter Mortensen
Atau setidaknya tandai, misalnya "Untuk Ubuntu 9 hingga Ubuntu 16.04:" atau serupa (saya membuat kisaran versi dalam contoh ini).
Peter Mortensen
30

Meskipun Anda tidak menyebutkan font apa yang Anda gunakan atau terminal apa yang Anda maksud, saya memberikan jawaban umum untuk mengubah font di gnome-terminal.

Saya memberikan dua cara untuk melakukan ini, meskipun keduanya relatif dekat satu sama lain

Cara formal

  • Buka terminal dengan menekan Ctrl+ Alt+ T.
  • Lalu pergi dari menu Edit → Profil . Pada jendela edit profil, klik Edittombol.
  • Kemudian di tab General , hapus centang Gunakan font lebar tetap sistem , dan kemudian pilih font yang Anda inginkan dari menu dropdown

Cara yang lebih mudah

  • Buka terminal dengan menekan Ctrl+ Alt+ T.
  • Klik kanan pada terminal, dari menu popup yang muncul, buka Profiles → Preferensi Profil
  • Kemudian di General Tab, hapus centang Gunakan font lebar tetap sistem , dan kemudian pilih font yang Anda inginkan dari menu dropdown.

Saya memberikan dua tangkapan layar di bawah ini:

Gambar menu popup

Gambar dari jendela profil "Edit"

Anwar
sumber
1
oh wow, saya tidak tahu itu sangat mudah. TERIMA KASIH!!!
Fawkes5
Sejauh yang saya bisa lihat, "Profil" ada di "Preferensi" di Ubuntu 18.04 atau Ubuntu 18.04. Mungkin memperbarui jawaban Anda untuk juga mencakup versi Ubuntu yang lebih baru?
Peter Mortensen
1

Untuk Ubuntu 17.04 dengan Terminal GNOME 3.20.2, opsinya agak berbeda. Dari menu, pergi ke Edit -> Preferensi Profil -> tab Umum. Di Text Appearance section, pilih Custom fontopsi, klik pada font yang dipilih, dan kemudian kurangi nomor ukuran font di bagian bawah jendela baru.

patrickvacek
sumber
Yap, saya menggunakan tema gelap dan kecerahan rendah sehingga kotak centangnya hampir tidak terlihat
qwr
0

jika Anda maksud terminal server, yaitu, tidak ada sistem jendela, hanya konsol, saya suka jawaban ini :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

ini adalah contoh; Anda dapat melihat daftar font yang tersedia seperti ini:

ls /usr/share/consolefonts

dan jika Anda karena suatu alasan tidak memilikinya, Anda dapat menginstalnya seperti ini:

sudo apt-get install fonts-ubuntu-font-family-console

perhatikan bahwa Anda mungkin perlu meletakkan perintah setfont di .profile atau .bashrc karena mungkin perlu dijalankan pada setiap login

jina
sumber