Чи є спосіб перевірити, який шрифт використовується емулятором оболонки / терміналу з командного рядка?

11

Я готовий вирішити читання частини конфігураційного файлу, якщо пряма команда недоступна.

command-line fonts

— Аківа
джерело

Може вміст cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlдопомоги?

— Пандія

7

Опція Використовувати системний шрифт фіксованої ширини, як правило, дорівнює і задається org.gnome.desktop.interface.

екран0

Щоб отримати поточний параметр шрифту, виконайте наступну команду:
```
gsettings get org.gnome.desktop.interface monospace-font-name
```
Щоб встановити / змінити налаштування, виконайте наступну команду (ось приклад збільшення розміру):
```
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'
```

Під час запуску над командою я знайшов шрифт вашого терміналу змінений (збільшений розмір)! Отже, gnome-terminalвикористовуючи цю настройку шрифту.

— Панді
джерело

Дякую! Я відчайдушно намагався з'ясувати "шрифт з фіксованою шириною системи", який використовує Ubuntu, щоб також використовувати його в urxvt.

— balu

2

Перевірте шрифт терміналу:

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

— Енді
джерело

2

Тут уже багато відповідей на консольних емуляторах, тому я зупинюся лише на віртуальних консолях tty. Ви можете зробити кішку /etc/default/console-setupі знайти рядок, що говорить FONTFACE. Або ви моглиgrep -n FONTFACE /etc/default/console-setup

Наприклад, ось мій файл налаштування консолі

введіть тут опис зображення

Щоб змінити його, можна виконати sudo dpkg-reconfigure console-setupв tty. Це, до речі, оновить налаштування ядра.

— Сергій Колодяжний
джерело

Я спробував ваш метод, і він згадував fontface="fixed", в той час як відповідь @ Панді мені дала 'Ubuntu Mono 13'.

— alpha_989

1

@ alpha_989 Оскільки відповідь Панді стосується емуляторів терміналів GUI, а моя - до віртуальних консолей TTY. Обидва дійсні для відповідного призначення.

— Сергій Колодяжний

1

Ви можете перевірити шрифт терміналу gnome за допомогою наступної команди

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

Наприклад, я використовую цю команду для gnome-terminal

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

Якщо ви бажаєте змінити шрифт за допомогою командного рядка, ви можете скористатися наступною командою

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

Де 12 - розмір шрифту.

— g_p
джерело

У моєму оточенні (16.04.3, плазма, KDE) ця пропозиція помиляється з No value set for '/apps/gnome-terminal/profiles/Default/font'. Тим не менш, відповідь Панді (використовуючи gsettingsкоманду замість цього) фактично працює і повертає шрифт терміналу Gnome.

— аріельф

Те саме тут .. за допомогою ubuntu 16.04Gnome .. не впевнений, чому це не працює .. але Pandya'aвідповідь спрацювала ..

— alpha_989