Я пытаюсь установить шрифт в gnome-terminal на 9.5, что идеально для меня. Я установил много программных шрифтов, а именно. proggy, anonymous-pro, terminus, inconsolata, droid-monovar, consolas, gohu, anka-кодер, termyn и montecarlo).
Я пробовал терминалы GNOME Terminal, Konsole и Xfce4 Terminal, но ни один из них, кажется, не позволяет использовать размер «9,5pt» (или любой другой дробный размер) для любого шрифта.
Проблема с моими шрифтами или терминалом?