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

11

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

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