¿Cuál es la fuente GNOME Classic Monospace?

Me estoy mudando a Cinnamon de GNOME Classic. Me gustaría traer la fuente del terminal de GNOME. En Cinnamon, la fuente del sistema de ancho fijo también se llama Monospace pero se ve diferente. ¿Hay otro nombre para la fuente de terminal predeterminada de GNOME?

Puede usar fc-matchpara ver qué fuentes coinciden con ese patrón:

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

Para ver la lista de prioridades completa que coincide con ese patrón, use:

fc-match --sort "Monospace"

Referencia: man fc-match

fc-match coincide con el patrón (patrón vacío por defecto) usando las reglas normales de coincidencia de configuración de fuente para encontrar la mejor fuente disponible. Si se da --sort, se muestra la lista ordenada de las mejores fuentes coincidentes. El --all opción funciona como --sort excepto que no poda se realiza en la lista de fuentes.

Fuente: ¿Cómo obtener un nombre de fuente válido en el sistema Linux que se pueda usar en la configuración de .Xresources?