Pourquoi Gnome Terminal n'affiche pas une police spécifique comme disponible


9

Commandes que j'ai essayées:

  • sudo updatedb
  • sudo fc-cache -fv
  • sudo reboot

Malgré cela, je n'ai pas pu faire afficher la police Monofur comme disponible pour le terminal Gnome dans une machine avec Ubuntu 14.10 récemment installé. Il est disponible dans toutes les autres applications.

J'ai une autre machine avec 14.04 où cela s'est bien passé.

Je ne sais pas si cela est lié à un problème lorsque j'ai installé la police pour la première fois et que le gestionnaire de polices est resté bloqué lors de l'installation que j'ai dû redémarrer. Ensuite, j'ai supprimé la police du système et l'ai réinstallée sans problème.

C'est dedans ~/.local/share/fonts.

fc-listrépertorie cette police. Les autorisations de fichiers sont OK.

MISE À JOUR

Mis à jour pour durer Ubuntu, le problème a disparu.


Installer cette police et la sélectionner par défaut dans gnome-terminal a fonctionné pour moi tout de suite, même sans aucune des commandes que vous mentionnez. C'est aussi dans mon .local/share/fontsdossier.
Jos

@Jos Peut-être que quelque chose s'est mal passé lorsque je l'ai installé pour la première fois et que j'ai dû forcer le redémarrage. Mais j'ai essayé de le retirer de tout endroit possible avant de réinstaller, toujours rien. Je ne peux pas le sélectionner car il ne s'affiche pas en option.
pepper_chico

Pouvez-vous utiliser Monofur dans d'autres applications, par exemple LibreOffice ou GEdit?
David Foerster

@DavidFoerster oui.
pepper_chico

1
@Fabby oui, et je pense que cela n'a aucun effet sur le fait qu'il soit enfin affiché en option. Gnome Terminal ne le répertorie pas pour une raison inconnue.
pepper_chico

Réponses:


4

Après avoir installé la police, elle ne s'est pas affichée tout de suite pour moi non plus. Voici les étapes que j'ai prises pour le faire apparaître:

1) Déplacez la police dans le répertoire / usr / share / fonts / truetype` :

Créez un répertoire /usr/share/fonts/truetype/Monofur/et déplacez les fichiers de police (dans mon cas, je n'ai déplacé que Monofur for Powerline.ttf) soit avec le gestionnaire de fichiers soit avec la mvcommande. Notez que vous aurez besoin de privilèges sudo pour tout cela

2) Supprimez tout dans ~ / .gconf / apps / gnome-terminal /

Les préférences de profil sont toutes stockées dans le ~/.gconf/apps/gnome-terminal/répertoire. J'ai faitsudo rm -r ~/.gconf/apps/gnome-terminal/

3) Fermez et rouvrez le terminal gnome

Explicite.

Suggestions :

Pour faire bonne mesure, essayez de faire updatedbaprès avoir tout supprimé ou après avoir rouvert gnome-terminal; essayez de redémarrer si cela ne fonctionne toujours pas


Désolé mais cela n'a pas fonctionné, même après le redémarrage.
pepper_chico

Quelles sont les autorisations sur les fichiers d'ailleurs?
Sergiy Kolodyazhnyy

Tous -rw-r--r--(comme pour les autres polices dans d'autres répertoires). J'ai besoin des 3 polices d'ailleurs, donc je les ai toutes copiées.
pepper_chico

Bizarre. Je n'ai pour l'instant aucune autre idée.
Sergiy Kolodyazhnyy

Vous avez pensé: que diriez-vous de tenter une réinstallation de gnome-terminal?
Sergiy Kolodyazhnyy

4

Quoi que je fasse, je ne pouvais pas faire apparaître mes polices. J'en suis arrivé à un point où j'ai essayé de changer les options aléatoires, et quand j'ai désactivé et autorisé la fonction "Autoriser le texte en gras", toutes les polices sont apparues. Ne me demandez pas pourquoi mais cela a fonctionné pour moi.


1
Merci! C'est ce qui a finalement fonctionné pour moi. Bizarre, cependant!
ankush981

Malheureusement, cette option manque dans Ubuntu 18.04. Je basculée à l'aide dconf-editorpar cette réponse , mais il ne semble pas résoudre le problème.
Alexander Nied
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.