Я установил пропатченный шрифт "Исходный код Pro" с https://github.com/ryanoasis/nerd-fonts#option-3-install-script на свой ящик Ubuntu 18.10.
Я вижу шрифт, отображаемый в программе Fonts (как SauceCodePro).
Я хочу установить его в качестве шрифта для приложения терминала GNOME («Правка» -> «Настройки» -> «Пользовательский шрифт»), однако этот шрифт не отображается.
Я попытался запустить sudo fc-cache -fv ~/.local/share/fonts
, а также перезагрузить компьютер. Я также попытался переустановить пакет gnome-terminal
, но без игры в кости.
Кто-нибудь есть какие-либо предложения о том, что я мог бы сделать здесь?