Apa font GNOME Classic Monospace?

Saya pindah ke Cinnamon dari GNOME Classic. Saya ingin membawa font terminal dari GNOME. Dalam Cinnamon font sistem lebar tetap juga disebut Monospace tetapi terlihat berbeda. Apakah ada nama lain untuk font terminal default GNOME?

Anda dapat menggunakan fc-matchuntuk melihat font mana yang cocok dengan pola itu:

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

Untuk melihat seluruh daftar prioritas yang cocok dengan pola itu, gunakan:

fc-match --sort "Monospace"

Referensi: man fc-match

fc-match cocok pola (pola kosong secara default) menggunakan aturan pencocokan fontconfig normal untuk menemukan font terbaik yang tersedia. Jika --sort diberikan, daftar font yang paling cocok disortir ditampilkan. The --all pilihan bekerja seperti --sort kecuali bahwa tidak ada pemangkasan dilakukan pada daftar font.

Sumber: Bagaimana cara mendapatkan nama font yang valid pada sistem linux yang dapat digunakan dalam konfigurasi .Xresources?