Apenas force a atualização do cache de fontes:
sudo fc-cache -f -v
meu perfil do Terminal do GNOME permite que eu escolha apenas fontes mono e Courier. Estou tentando usar a fonte Source Code Pro no meu terminal ubuntu. Eu o instalei com sucesso, em ~ / .fonts, e ele aparece em todos os outros programas, como todas as outras fontes. Mas no perfil do Terminal, apenas algumas fontes são listadas.
Como uso a fonte Source Code Pro e outras fontes no Terminal GNOME?
Aqui está uma informação sobre o meu Ubuntu 14.04, diga-me se você precisa mais:
Linux dev 3.13.0-24-genérico # 47-Ubuntu SMP sex 2 de maio 23:30:00 UTC 2014 x86_64 x86_64 x86_64 GNU / Linux
Apenas force a atualização do cache de fontes:
sudo fc-cache -f -v