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.