Co to jest czcionka GNOME Classic Monospace?

Przeprowadzam się do Cinnamon z GNOME Classic. Chciałbym przynieść czcionkę terminala z GNOME. W Cinnamon czcionka systemowa o stałej szerokości jest również nazywana Monospace, ale wygląda inaczej. Czy istnieje inna nazwa domyślnej czcionki terminalu GNOME?

Możesz użyć, fc-matchaby zobaczyć, które czcionki pasują do tego wzoru:

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

Aby zobaczyć całą listę priorytetów pasującą do tego wzorca, użyj:

fc-match --sort "Monospace"

Odniesienie: man fc-match

fc-match dopasowuje wzór (domyślnie pusty wzór) przy użyciu normalnych reguł dopasowywania fontconfig, aby znaleźć najlepszą dostępną czcionkę. Jeśli podano --sort , wyświetlana jest posortowana lista najlepiej pasujących czcionek. Opcja --all działa podobnie jak --sort, z wyjątkiem tego, że na liście czcionek nie jest przycinane.

Źródło: Jak uzyskać prawidłową nazwę czcionki w systemie Linux, której można użyć w konfiguracji .Xresources?