Alterando as fontes monoespaçadas em todo o sistema

Question

Por padrão, a fonte monoespaçada da minha distribuição (Trisquel) é a Fonte A. Eu gostaria de alterá-la para a fonte B. Há algum tempo, eu consegui fazer uma alteração parcial na Fonte C, mas esqueci método e não pode reproduzi-lo.

O problema é que agora posso ver todas as três fontes em contextos monoespaçados. Usando gnome-tweak-tool como root e user, mudei o campo "monospace" para Font B. Também fiz isso através da linha de comando no gsettings, novamente como root e user. No entanto:

• Se uma página da web solicitar o estilo {font-family: monospace;} , a Fonte C será exibida. Edit: essa foi uma configuração no Firefox, que eu alterei.
• Nos menus de fonte Inkscape e gedit, há uma fonte chamada simplesmente "Monospace", que é fonte A. As fontes UI da minha distribuição, que eu alterei, também são exibidas nesses menus com os nomes "Sans" e "Sans". Serif ".
• Quando as mensagens do Thunderbird que recebi são formatadas como texto simples, elas são exibidas na Fonte A. A menos que sejam explicitamente alteradas, as mensagens que escrevo também são exibidas nas fontes "Sans" e "Monospace".

Como posso corrigir essa situação, de modo que a Fonte B seja exibida em todos os contextos descritos acima e a misteriosa fonte "Sans" seja substituída pela fonte da IU que estou usando atualmente?

    

Answer 1

Eu descobri procurando no sistema pelo nome da fonte A. Deve haver um arquivo (mais precisamente, um link para um arquivo) "/etc/fonts/conf.d/01-trisquel.conf". Você precisará editar esse arquivo para incluir os nomes das fontes escolhidas como a prioridade mais alta (acima das entradas existentes em < family >).

    

Answer 2

Adicione isto ao seu arquivo ~/.config/fontconfig/fonts.conf para definir a Fonte B como fonte monoespaçada padrão

 <match target="pattern">
  <test name="family" qual="any">
   <string>monospace</string>
  </test>
  <edit binding="strong" mode="prepend" name="family">
   <string>Font B</string>
  </edit>
 </match>

Ou para /etc/fonts/local.conf para definir todo o sistema

    

Answer 3

Eu achei que isso estivesse funcionando :

gsettings set org.gnome.desktop.interface monospace-font-name 'Noto Mono 11' (Provavelmente nem todos os aplicativos, o gedit muda instantaneamente)