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

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

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

10
задан 23 September 2014 в 14:30

4 ответа

Опция Использует системный шрифт фиксированной ширины , обычно равно и установлен 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 использование тот параметр шрифта.

7
ответ дан 16 November 2019 в 15:38

Шрифт терминала проверки:

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

2
ответ дан 16 November 2019 в 15:38

Уже существует много ответов на консольных эмуляторах здесь, таким образом, я сфокусируюсь на tty виртуальной консоли только. Можно сделать кошку /etc/default/console-setup и найти строку, говоря FONTFACE. Кроме того, Вы могли grep -n FONTFACE /etc/default/console-setup

, Например, здесь быть моим консольным файлом настройки

enter image description here

Для изменения его, можно выполниться sudo dpkg-reconfigure console-setup в tty. Это обновит настройки ядра, между прочим.

2
ответ дан 16 November 2019 в 15:38

Можно проверить использование шрифта терминала гнома после команды

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

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

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

1
ответ дан 16 November 2019 в 15:38

Другие вопросы по тегам:

Похожие вопросы: