Estou tentando instalar Roboto Mono como fonte em meu terminal bash no Linux Mint 19.1 - e a opção de personalizar fontes usando Edit -> Preferences -> Custom Fontnão parece me permitir especificar uma nova fonte que não esteja pré-instalada.
Isso ocorre porque o terminal não permite que fontes .ttf sejam usadas como fonte personalizada ou existe uma solução alternativa para isso?
Obrigado!
Responder1
Provavelmente não se trata de uma fonte pré-instalada ou não.
O Terminal GNOME oferece apenas fontes monoespaçadas para você escolher em sua caixa de diálogo Preferências. No entanto, você pode escolher qualquer fonte no formato dconf-editor. Navegue até /org/gnome/terminal/legacy/profiles:seguido do ID do perfil e defina-o em font.
Parece exigir uma investigação mais aprofundada por que Roboto Mono não é considerado uma fonte monoespaçada.