Hi there,

I liked the terminal font in GNOME Classic but I want to switch to Cinnamon.

fc-match said in GNOME that the Monospace font is Dejavu Sans Mono Book. I set that in Cinnamon but that appears quite different.

How can I use the same terminal font in Cinnamon? How can I figure this out digging through font configuration files?

- Gergely