Có cách nào để kiểm tra phông chữ mà trình giả lập shell / terminal của bạn đang sử dụng từ dòng lệnh không?

Có cách nào để kiểm tra phông chữ mà trình giả lập shell / terminal của bạn đang sử dụng từ dòng lệnh không?

Tôi sẵn sàng giải quyết việc đọc một phần của tệp cấu hình, nếu lệnh trực tiếp không có sẵn.

Tùy chọn Sử dụng phông chữ có chiều rộng cố định của hệ thống thường bằng nhau và được đặt bởi org.gnome.desktop.interface.

• Để có được cài đặt phông chữ hiện tại, hãy chạy lệnh sau:

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

• Để đặt / thay đổi cài đặt, hãy chạy lệnh sau (ở đây ví dụ về tăng kích thước):

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

Khi tôi chạy lệnh trên, tôi thấy phông chữ của thiết bị đầu cuối của bạn đã thay đổi (tăng kích thước)! Vì vậy, gnome-terminalsử dụng cài đặt phông chữ đó.

Kiểm tra phông chữ thiết bị đầu cuối:

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

Có rất nhiều câu trả lời trên các trình giả lập giao diện điều khiển ở đây, vì vậy tôi sẽ chỉ tập trung vào giao diện điều khiển ảo. Bạn có thể làm mèo /etc/default/console-setupvà tìm dòng chữ FONTFACE. Hoặc bạn có thểgrep -n FONTFACE /etc/default/console-setup

Ví dụ, đây là tập tin cài đặt bàn điều khiển của tôi

Để thay đổi nó, bạn có thể thực hiện sudo dpkg-reconfigure console-setuptrong tty. Điều này sẽ cập nhật các thiết lập kernel, nhân tiện.

Bạn có thể kiểm tra phông chữ thiết bị đầu cuối gnome của mình bằng lệnh sau

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

Ví dụ: nó đang sử dụng lệnh này cho gnome-terminal

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

Nếu bạn muốn thay đổi phông chữ bằng dòng lệnh, bạn có thể sử dụng lệnh sau

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

Trong đó 12 là kích thước của phông chữ.