Qual é a fonte GNOME Classic Monospace?

Estou mudando para o Cinnamon do GNOME Classic. Eu gostaria de trazer a fonte do terminal do GNOME. No Cinnamon, a fonte do sistema de largura fixa também é chamada de Monospace, mas parece diferente. Existe outro nome para a fonte do terminal padrão do GNOME?

Você pode usar fc-matchpara ver quais fontes correspondem a esse padrão:

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

Para ver a lista inteira de prioridades que correspondem a esse padrão, use:

fc-match --sort "Monospace"

Referência: man fc-match

fc-match corresponde ao padrão (padrão vazio por padrão) usando as regras normais de correspondência do fontconfig para encontrar a melhor fonte disponível. Se --sort for fornecido, a lista classificada das melhores fontes correspondentes será exibida. A opção --all funciona como --sort, exceto que nenhuma remoção é feita na lista de fontes.

Fonte: Como obter um nome de fonte válido no sistema Linux que pode ser usado na configuração de .Xresources?