Bagaimana saya bisa mengubah ukuran teks untuk gnome-terminal secara permanen?

14

Saya hanya ingin bertanya ...

Tampaknya Anda perlu menekan Ctrl+ -(ctrl plus tanda minus) untuk mendapatkan resolusi yang lebih baik (teks lebih kecil) saat menjalankan terminal.

Tapi saya bertanya-tanya apakah ada cara untuk melakukan pengaturan seperti ini, sehingga setiap kali Anda memulai terminal itu sudah akan melakukan dalam resolusi yang lebih tinggi?

Dark Templar
sumber

Jawaban:

18

Anda dapat secara manual mengatur ukuran teks di terminal dengan:

  1. membuka terminal
  2. Edit -> Preferensi Profil
  3. pilih font Kustom (atau batalkan pilihan Gunakan font lebar tetap sistem dalam versi yang lebih lama)
  4. Pilih font dan ukuran Anda

Anda juga dapat memilih ukuran terminal dengan memilih Gunakan ukuran terminal default khusus dan mengatur sejumlah baris dan kolom.

danjjl
sumber
Inilah tepatnya yang saya lakukan untuk mendapatkannya secara permanen.
Luis Alvarado
1
Saya tidak melihat opsi " Gunakan font lebar tetap sistem " dalam 16,04?
rudolph9
@ rudolph9 telah mengedit jawaban untuk mengatakan 'Pilih Huruf Kustom' seperti yang dikatakan di versi saya (daripada 'menggunakan font yang diperbaiki dengan sistem tetap')
EoghanM
4

Anda dapat mencoba memohon gnome-terminaldengan parameter --zoom, misalnya:

gnome-terminal --zoom=0.8 untuk memperkecil 20% (80% dari ukuran aslinya)

Dokumentasi terbatas untuk parameter ini ditemukan dengan menjalankan

gnome-terminal --help-all

Anda dapat bermain sedikit dengan berbagai ukuran zoom untuk menemukan yang sesuai, dan kemudian mengedit pintasan Anda.

Pavlos G.
sumber