Por que o Gnome Terminal não exibe uma fonte específica como disponível

Comandos que tentei:

sudo updatedb
sudo fc-cache -fv
sudo reboot

Apesar disso, não consegui fazer com que a fonte Monofur fosse exibida como disponível para o Terminal Gnome em uma máquina com o Ubuntu 14.10 instalado recentemente. Está disponível em todos os outros aplicativos.

Eu tenho outra máquina com 14.04, onde isso correu bem.

Não tenho certeza se isso está relacionado a um problema quando instalei a fonte pela primeira vez e o gerenciador de fontes ficou bloqueado durante a instalação e tive que reiniciar. Depois, removi a fonte do sistema e a reinstalei sem problemas.

Está dentro ~/.local/share/fonts.

fc-listlista essa fonte. Permissões de arquivo estão OK.

ATUALIZAR

Atualizado para o último Ubuntu, o problema desapareceu.

14.10 fonts gnome-terminal

— pepper_chico
fonte

Instalar esta fonte e selecioná-la como padrão no gnome-terminal funcionou para mim imediatamente, mesmo sem nenhum dos comandos mencionados. Está na minha .local/share/fontspasta também.

— 217 Jos Jos

@ Jos Talvez algo deu errado quando eu o instalei pela primeira vez e precisei forçar a reinicialização. Mas tentei removê-lo de qualquer lugar possível antes de reinstalar, ainda nada. Não consigo selecioná-lo, pois ele não é exibido como uma opção.

— pepper_chico

Você pode usar o Monofur em outras aplicações, por exemplo, LibreOffice ou GEdit?

— David Foerster

@DavidFoerster yes.

— pepper_chico

@ Fabby sim, e acho que não tem efeito sobre ele finalmente ser exibido como uma opção. O Terminal Gnome simplesmente não o lista por algum motivo desconhecido.

— pepper_chico

Respostas:

Depois de instalar a fonte, ela também não apareceu imediatamente. Aqui estão as etapas que eu tomei para que isso apareça:

1) Mova a fonte para o diretório / usr / share / fonts / truetype` :

Crie um diretório /usr/share/fonts/truetype/Monofur/e mova os arquivos de fonte (no meu caso, mudei apenas Monofur for Powerline.ttf) com o gerenciador de arquivos ou com o mvcomando Observe que você precisará de privilégios sudo para tudo isso

2) Exclua tudo em ~ / .gconf / apps / gnome-terminal /

As preferências do perfil são todas armazenadas no ~/.gconf/apps/gnome-terminal/diretório Eu basicamente fizsudo rm -r ~/.gconf/apps/gnome-terminal/

3) Feche e reabra o terminal gnomo

Auto-explicativo.

Sugestões :

Para uma boa medida, tente fazer updatedbdepois de excluir tudo ou depois de reabrir o gnome-terminal; tente reiniciar se ainda não funcionar

— Sergiy Kolodyazhnyy
fonte

Desculpe, mas isso não funcionou, mesmo após a reinicialização.

— pepper_chico

Quais são as permissões nos arquivos, a propósito?

— Sergiy Kolodyazhnyy 10/03/2015

Tudo -rw-r--r--(o mesmo que para outras fontes em outros diretórios). A propósito, eu preciso de todas as três fontes, por isso copiei todas elas.

— pepper_chico

Esquisito. Até agora não tenho outras idéias.

— Sergiy Kolodyazhnyy 10/03/2015

Pensei: que tal tentar reinstalar o gnome-terminal?

— 22815 Sergiy Kolodyazhnyy

O que quer que eu fiz, não consegui que minhas fontes aparecessem. Cheguei a um ponto em que tentei alternar opções aleatórias e quando mudei a opção "Permitir texto em negrito" para desativar todas as fontes. Não me pergunte por que, mas funcionou para mim.

— Beer van der Drift
fonte

Obrigado! Foi isso que funcionou para mim finalmente. Estranho, no entanto!

— ankush981

Infelizmente, esta opção está ausente no Ubuntu 18.04. I alternado-lo usando dconf-editorpor esta resposta , mas não parece resolver o problema.

— Alexander Nied