Fontes patched não aparecem no gnome-terminal

Question

Eu instalei a fonte patched "Source Code Pro" do link no meu Ubuntu 18.10 caixa.

Eu posso ver a fonte aparecendo no programa Fonts (como SauceCodePro).

Eu quero defini-lo como a fonte para o aplicativo do Terminal GNOME (Editar - > Preferências - > Tipo de letra personalizado), no entanto, esta fonte não aparece.

Eu tentei executar sudo fc-cache -fv ~/.local/share/fonts , além de reiniciar meu computador. Eu também tentei reinstalar o pacote gnome-terminal , mas sem dados.

Alguém tem alguma sugestão para o que eu poderia fazer aqui?

    

Answer 1

Graças ao link do @ egmont para link , percebi uma maneira de contornar isso, como mencionado em um dos comentários nesse post:

• Instalar o GNOME Tweaks
• Defina a fonte monoespaçada do sistema para "SauceCodePro Mono Regular"
• Na preferência de fonte do terminal, deixo a opção de fonte personalizada desmarcada , ou seja, uso de fonte do sistema.