O do seu diretório HOME deve ser mais autoritário (deve estar em ~/.config/fontconfig/conf.d/10-symbols.conf
).
PragmataPro
deve ser substituído por uma fonte que você goste disponível / instalada em sua máquina (use fc-list
para ver a lista completa).
O 10-symbols.conf
deve ter alguma documentação, se algo não estiver claro, por favor, abra um problema aqui para que possamos melhorá-lo.