Apakah ada cara untuk memeriksa font mana yang digunakan oleh emulator shell / terminal Anda dari commandline?

11

Apakah ada cara untuk memeriksa font mana yang digunakan oleh emulator shell / terminal Anda dari commandline?

Saya bersedia menyelesaikan membaca bagian dari file konfigurasi, jika perintah langsung tidak tersedia.

command-line fonts Akiva
sumber
Bolehkah isi cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlbantuan?
Pandya

Jawaban:

7

Opsi Gunakan font lebar tetap sistem biasanya sama dan ditetapkan oleh org.gnome.desktop.interface.

screen0

  • Untuk mendapatkan pengaturan font saat ini jalankan perintah berikut:

    gsettings get org.gnome.desktop.interface monospace-font-name

  • Untuk mengatur / mengubah pengaturan, jalankan perintah berikut (di sini contoh ukuran kenaikan):

    gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'

Ketika saya menjalankan perintah di atas, saya menemukan font terminal Anda berubah (ukurannya bertambah)! Jadi, gnome-terminalmenggunakan pengaturan font itu.

Pandya
sumber
Terima kasih! Saya berusaha keras untuk mencari tahu "sistem font lebar tetap" Ubuntu juga menggunakannya di urxvt.
balu
2

Periksa font terminal:

grep -i "fontface" / etc / default / console-setup

Andy
sumber
2

Ada banyak jawaban pada emulator konsol di sini, jadi saya akan fokus pada konsol virtual saja. Anda dapat melakukan cat /etc/default/console-setupdan menemukan garis yang mengatakan FONTFACE. Atau Anda bisagrep -n FONTFACE /etc/default/console-setup

Sebagai contoh, inilah file pengaturan konsol saya

masukkan deskripsi gambar di sini

Untuk mengubahnya, Anda bisa menjalankan sudo dpkg-reconfigure console-setuptty. Ini akan memperbarui pengaturan kernel.

Sergiy Kolodyazhnyy
sumber
Saya mencoba metode Anda dan disebutkan fontface="fixed", sedangkan jawaban @ Pandya memberi saya 'Ubuntu Mono 13'.. Bertanya-tanya mengapa ada perbedaan?
alpha_989
1
@ alpha_989 Karena jawaban Pandya berkaitan dengan emulator terminal GUI, sementara milikku - ke konsol virtual TTY. Keduanya valid untuk tujuan masing-masing.
Sergiy Kolodyazhnyy
1

Anda dapat memeriksa font terminal gnome Anda menggunakan perintah berikut

gconftool-2 --get /apps/gnome-terminal/profiles/Default/font

Misalnya saya menggunakan perintah ini untuk gnome-terminal

 [guru@guru-pc:~]$gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
  Monospace 12

Jika Anda ingin mengubah font menggunakan baris perintah, Anda dapat menggunakan perintah berikut 

  gconftool-2 --set /apps/gnome-terminal/profiles/Default/font --type string "courier new 12"

Di mana 12 adalah ukuran font.

g_p
sumber
Dalam env saya (16.04.3, plasma, KDE) saran ini kesalahan No value set for '/apps/gnome-terminal/profiles/Default/font'. Namun demikian, mengikuti jawaban Pandya (menggunakan gsettingsperintah sebagai gantinya) sebenarnya berfungsi dan mengembalikan font terminal Gnome.
arielf
Sama di sini .. menggunakan ubuntu 16.04Gnome .. tidak yakin mengapa ini tidak berhasil .. tapi Pandya'ajawabannya berhasil ..
alpha_989