Utiliser les polices installées dans gnome-terminal

10

Récemment, j'ai joué avec gnome-terminal pour le rendre plus attrayant. J'ai essayé d'utiliser les polices installées qui se trouvaient dans mon dossier ~ / .fonts (installé avec Font Viewer) mais quand je modifie le profil gnome-terminal, la police installée ne s'affiche pas.

La police que j'essaie d'utiliser est cure.se.ttf, et tous les autres programmes qui permettent de changer les polices fonctionnent, ainsi que d'être installés globalement.

Suis-je en train de les installer mal, ou y a-t-il un endroit certian où ils doivent être?

Mobo
la source

Réponses:

2

Ce qui a fonctionné pour moi, c'est de mettre les fichiers de polices ~/.local/share/fonts, puis de les exécuter,

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

Les polices en ~/.local/share/fontssont désormais disponibles pour toutes les applications.

RogerDodger
la source
0

Eu le même problème. La définition des autorisations de police a résolu mon problème. Par exemple:

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

Ouvrez ensuite une nouvelle instance de terminal.

folq
la source
0

L'interface graphique de configuration semble filtrer les polices non monospaces .

Une solution de contournement consiste à utiliser dconfdirectement pour définir les polices:

# 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
la source
-1

La mise à jour de votre cache de polices peut résoudre le problème. Essayez d'exécuter la commande suivante:

fc-cache -vf ~/.fonts
evandromr
la source
2
Je viens de le faire à nouveau, toujours sans effet.
Mobo
Il y a probablement une meilleure façon, mais ce qui a fonctionné pour moi a été de déplacer les polices vers l'emplacement par défaut sur / usr / share / fonts et de mettre à jour le cache à nouveau.
evandromr