Su OS X, i caratteri a spaziatura fissa sono leggermente più ponderati rispetto agli altri caratteri. Questo (credo) aiuta a mettere in risalto i colori in modo più vivido.
Da quando sono su Linux, sto cercando di replicare il comportamento. Sto provando a farlo modificando la proprietà "peso" in ~/.fonts.conf
,
<?xml version="1.0"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<fontconfig>
<match target="font">
<test name="family">
<string>DejaVu Sans Mono</string>
<string>Bitstream Vera Sans Mono</string>
</test>
<edit name="weight" mode="assign">
<const>medium</const>
</edit>
</match>
</fontconfig>
Apparentemente, questo non funziona correttamente. Quello che succede è che i caratteri in grassetto DejaVu o Bitstream mono diventano più audaci e non succede nulla all'altro.
Quindi, come posso risolvere questo problema?