如何在终端中设置分数字体大小？

Question

我正在尝试将字体设置gnome-terminal为 9.5，这对我来说很理想。我安装了许多编程字体，即 proggy、anonymous-pro、terminus、inconsolata、droid-monovar、consolas、gohu、anka-coder、termsyn 和 montecarlo)。

我尝试过 GNOME 终端、Konsole 和 Xfce4 终端，但它们似乎都不能为任何字体提供“9.5pt”大小（或任何其他分数大小）。

我的字体或终端有问题吗？