Я бегу Ubuntu 18.10 с DWM. Я удалил почти все программы с графическим интерфейсом, предоставляемые стандартной рабочей средой Gnome. Теперь моя система использует шрифт, который я хочу использовать в своем терминале, но для этого мне нужно знать имя шрифта. Как я узнаю, что это за шрифт?
Вот демонстрация шрифта, используемого хромом, так же, как моя система.
Шрифт, используемый приложениями, часто выбирается не напрямую по имени, а потому, что он является первым в списке для универсального псевдонима sans-serif в вашей системе (согласно файлам FontConfig в /etc /fonts).
$ fc-match sans-serif
$ fc-match -s sans-serif | head
Предполагая, что вы ссылаетесь на Chrome Chrome, а не на документ, в большинстве дистрибутивов Linux это, скорее всего, "DejaVu Sans" (или что-то тесно связанное, например, "Bitstream Vera Sans").
$ pango-view --font="DejaVu Sans 10" --text="What font does my system..."