Ao tentar definir a fonte padrão no terminal. Há duas fontes 'monospace' que me interessaram: 1. Ubuntu Mono 2. Monospace. Encontrei o Ubuntu Mono em / usr / share / fonts, mas não consegui encontrar a outra fonte 'Monospace' em nenhum lugar.
Onde posso encontrá-lo? Eu gostaria de defini-lo como minha fonte padrão em outros sistemas Linux também.
David Seibert, estou procurando a fonte 'Monospace' exatamente para o mesmo propósito: fazer o patch para o vim-powerline.
Petronilla está correto ao afirmar que não há fonte explícita chamada 'Monospace', razão pela qual não está na lista de fontes retornadas por
Você pode dar uma olhada no /etc/fonts/fonts.conf ou nas várias configurações do /etc/fonts/conf.d/, mas será muito difícil descobrir qual fonte é exatamente o alias do 'Monospace'. A coisa mais fácil a fazer é
que na minha máquina Ubuntu 12.04 retorna
Então agora o mistério está resolvido :)
fonte
DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book"
Não me lembro se isso veio com o pacote de fontes DejaVu Sans ou se foi alterado através de alguma ferramenta. Espero que alguém possa resolver esse mistério para nós!