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