Есть ли способ проверить, какой шрифт использует ваша оболочка / эмулятор терминала из командной строки?


11

Есть ли способ проверить, какой шрифт использует ваша оболочка / эмулятор терминала из командной строки?

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


Может ли содержимое cat ~/.gconf/apps/gnome-terminal/profiles/Default/%gconf.xmlпомочь?
Pandya

Ответы:


7

Опция Использовать системный шрифт с фиксированной шириной обычно равна и установлена org.gnome.desktop.interface.

screen0

  • Для получения текущей настройки шрифта выполните следующую команду:

    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.
балу

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", в то время как ответ @ Pandya дал мне 'Ubuntu Mono 13'.. Интересно, почему есть разница?
alpha_989

1
@ alpha_989 Потому что ответ Pandya относится к эмуляторам терминала с графическим интерфейсом, а мой - к виртуальным консолям TTY. Оба действительны для их соответствующей цели.
Сергей Колодяжный

1

Вы можете проверить шрифт терминала gnome, используя следующую команду

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

Например, я использую эту команду для gnome-терминала

 [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 - размер шрифта


В моем env (16.04.3, плазма, KDE) это предположение ошибки с No value set for '/apps/gnome-terminal/profiles/Default/font'. Тем не менее, следующий ответ Pandya ( gsettingsвместо этого используется команда) фактически работает и возвращает шрифт терминала Gnome.
Ариэльф

То же самое и здесь ... с использованием ubuntu 16.04Gnome .. не уверен, почему это не сработало ... но Pandya'aответ сработал ..
alpha_989
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.