мой профиль Терминала GNOME позволил мне выбрать только моно шрифты и Курьера. Я пытаюсь использовать Исходный код Pro шрифт на моем терминале человечности. Я установил его успешно в ~/.fonts, и это показывает на любой программе как все другие шрифты. Но на Терминальном профиле перечислены только некоторые шрифты.
Как я использую Исходный код Pro шрифт и другие шрифты, на Терминале GNOME?
Вот информация о моей Ubuntu 14.04, скажите мне, если Вам больше нужно:
Linux dev 3.13.0-24-универсальный # SMP с 47 Ubuntu пятница 2 мая 23:30:00 GNU/Linux UTC 2014 x86_64 x86_64 x86_64
Просто сила для обновления кэша шрифта:
sudo fc-cache -f -v