Changer les polices Monospace à l'échelle du système ?

Par défaut, la police monospace de ma distribution (Trisquel) est la police A. J'aimerais la remplacer par la police B. Il y a quelque temps, j'ai réussi à modifier partiellement la police C, mais j'ai depuis oublié cette méthode et je ne peux pas le reproduire.

Le problème est que maintenant je peux voir les trois polices dans des contextes à espacement fixe. Utilisation de gnome-tweak-tool en tant que root et utilisateur, j'ai changé le champ "monospace" en Font B. Je l'ai également fait via la ligne de commande sur gsettings, encore une fois en tant que root et utilisateur. Cependant :

• Si une page Web demande le style {font-family: monospace;} , la police C s'affiche. Edit :il s'agissait d'un paramètre de Firefox, que j'ai modifié.
• Dans les menus de polices d'Inkscape et de gedit, il y a une police appelée simplement "Monospace", qui est la police A. Les polices d'interface utilisateur par défaut de ma distribution, que j'ai modifiées, s'affichent également dans ces menus sous les noms "Sans" et " Serif".
• Lorsque les messages Thunderbird que j'ai reçus sont formatés en texte brut, ils sont affichés dans la police A. Sauf modification explicite, les messages que j'écris s'affichent également dans les polices "Sans" et "Monospace".

Comment puis-je résoudre ce problème, de sorte que la police B s'affiche dans tous les contextes décrits ci-dessus et que la mystérieuse police "Sans" soit remplacée par la police de l'interface utilisateur que j'utilise actuellement ?

Réponse acceptée :

Ajoutez ceci au vôtre ~/.config/fontconfig/fonts.conf fichier pour définir la police B comme police à espacement fixe par défaut

<match target="pattern">
  <test name="family" qual="any">
    <string>monospace</string>
  </test>
  <edit binding="strong" mode="prepend" name="family">
    <string>Font B</string>
  </edit>
</match>

Ou vers /etc/fonts/local.conf pour le définir à l'échelle du système.