Effectivement, le passage en version testing permet de constater le changement d’apparence de la police de caractères utilisée pour gnome-terminal, exactement comme tu l’avais indiqué.
Une solution trouvée dans le message accessible en cliquant sur ce lien
consiste à créer, avec les privilèges du compte root
un fichier nommé :
/etc/fonts/conf.d/50-prefer-dejavu.conf
dont le contenu sera :
<?xml version="1.0"?>
<!DOCTYPE fontconfig SYSTEM "urn:fontconfig:fonts.dtd">
<!-- $XDG_CONFIG_HOME/fontconfig/fonts.conf for per-user font configuration -->
<fontconfig>
<alias>
<family>monospace</family>
<prefer>
<family>DejaVu Sans Mono</family>
</prefer>
</alias>
<alias>
<family>sans</family>
<prefer>
<family>DejaVu Sans Book</family>
</prefer>
</alias>
<alias>
<family>serif</family>
<prefer>
<family>DejaVu Serif Book</family>
</prefer>
</alias>
</fontconfig>