Есть ли команда терминала, которая позволяет мне увидеть, какой шрифт используется в окне терминала Linux?
1 ответ
1
В GNOME я могу распечатать список моих профилей gnome-терминала с помощью следующей команды:
$ gconftool-2 --get /apps/gnome-terminal/global/profile_list
[Default,Profile0]
Затем я могу напечатать настройки шрифта с помощью:
$ gconftool-2 --get /apps/gnome-terminal/profiles/Default/font
Monospace 12
$ gconftool-2 --get /apps/gnome-terminal/profiles/Profile0/font
TakaoMincho Bold 36