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.

pepper_chico
la source
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

Sergiy Kolodyazhnyy
la source
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.

Beer van der Drift
la source
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