Usando fontes instaladas no gnome-terminal

10

Recentemente, eu tenho mexido com o gnome-terminal para torná-lo mais atraente. Tentei usar fontes instaladas que estavam na minha pasta ~ / .fonts (instalada com o Font Viewer), mas quando edito o perfil do gnome-terminal, a fonte instalada não aparece.

A fonte que estou tentando usar é cure.se.ttf e todos os outros programas que permitem a alteração de fontes, além de serem instaladas globalmente.

Estou instalando-os incorretamente ou há um local certificado onde eles precisam estar?

Mobo
fonte

Respostas:

2

O que funcionou para mim foi colocar os arquivos de fonte ~/.local/share/fontse depois executar,

$ sudo fc-cache -vf ~/.local/share/fonts

As fontes ~/.local/share/fontsestão disponíveis para todos os aplicativos agora.

RogerDodger
fonte
0

Teve o mesmo problema. Definir permissões de fonte resolveu meu problema. Por exemplo:

chmod 755 ~/.fonts/cure.se.ttf

Em seguida, abra uma nova instância do terminal.

folq
fonte
0

A GUI de configuração parece filtrar fontes não monoespaçadas .

Uma solução alternativa é usar dconfdiretamente para definir fontes:

# get your profile id
dconf list '/org/gnome/terminal/legacy/profiles:/'
# get your current font
dconf read '/org/gnome/terminal/legacy/profiles:/:PROFILE_ID/font'
# set the font, make sure you include those single quotes
dconf write '/org/gnome/terminal/legacy/profiles:/:PROFILE_ID/font' "'FreeMono 18'"
user11712282
fonte
-1

A atualização do cache da fonte pode resolver o problema. Tente executar o seguinte comando:

fc-cache -vf ~/.fonts
evandromr
fonte
2
Acabei de fazer novamente, ainda não está funcionando.
Mobo 20/10
Provavelmente existe uma maneira melhor, mas o que funcionou para mim foi mover as fontes para o local padrão em / usr / share / fonts e elas atualizam o cache novamente.
evandromr