Существует ли способ проверить, какой шрифт Ваша оболочка/эмулятор терминала использует от командной строки?
Я готов уладить часть чтения файла конфигурации, если прямая команда не легко доступна.
Опция Использует системный шрифт фиксированной ширины , обычно равно и установлен org.gnome.desktop.interface
.
Для получения установки текущего шрифта, выполненной после команды:
gsettings get org.gnome.desktop.interface monospace-font-name
Для устанавливания/изменения установки, выполненной после команды (здесь пример размера увеличения):
gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 14'
, Поскольку я работаю выше команды, я нашел шрифт Вашего терминала измененным (увеличенный размер)! Так, gnome-terminal
использование тот параметр шрифта.
Шрифт терминала проверки:
grep-i "fontface"/etc/default/console-setup
Уже существует много ответов на консольных эмуляторах здесь, таким образом, я сфокусируюсь на tty виртуальной консоли только. Можно сделать кошку /etc/default/console-setup
и найти строку, говоря FONTFACE. Кроме того, Вы могли grep -n FONTFACE /etc/default/console-setup
, Например, здесь быть моим консольным файлом настройки
Для изменения его, можно выполниться sudo dpkg-reconfigure console-setup
в tty. Это обновит настройки ядра, между прочим.
Можно проверить использование шрифта терминала гнома после команды
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 размер шрифта.