Qu'est-ce que la police GNOME Classic Monospace?

Je passe à Cinnamon depuis GNOME Classic. Je voudrais apporter la police du terminal depuis GNOME. Dans Cinnamon, la police système à largeur fixe est également appelée Monospace, mais elle est différente. Existe-t-il un autre nom pour la police de terminal par défaut GNOME?

Vous pouvez utiliser fc-matchpour voir quelles polices correspondent à ce modèle:

# fc-match "Monospace"
DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book"

Pour voir toute la liste des priorités correspondant à ce modèle, utilisez:

fc-match --sort "Monospace"

Référence: man fc-match

fc-match correspond au modèle (modèle vide par défaut) en utilisant les règles de correspondance de fontconfig normales pour trouver la meilleure police disponible. Si --sort est indiqué, la liste triée des meilleures polices correspondantes s'affiche. L' option --all fonctionne comme --sort, sauf qu'aucune élagage n'est effectué sur la liste des polices.

Source: Comment obtenir un nom de police valide sur le système Linux qui peut être utilisé dans la configuration .Xresources?