Je souhaite changer la police système (console) de mon serveur Ubuntu en une police personnalisée (téléchargée). Est-ce possible ?
J'ai essayé d'utiliser :
dpkg-reconfigure console-setup
mais le seul me permet de choisir parmi les polices système par défaut.
Réponse acceptée :
Les polices TTF/OTF/Type1 sont des polices vectorielles qui décrivent comment dessiner des caractères à l'aide de mathématiques qui dessinent des courbes de Bézier. Cela permet à la même description d'un personnage d'augmenter ou de diminuer joliment. Les polices BDF/PCF/PSF sont des polices bitmap, ce qui signifie qu'elles décrivent un caractère sous forme de pixels dans une grille. Ceux-ci ont tendance à paraître laids et en bloc lorsqu'ils sont agrandis, mais sont parfaits pour un terminal texte qui représente chaque caractère dans une taille et un espace uniformes. La console Linux utilise des polices PSF. Les polices BDF/PCF permettent aux caractères d'avoir un espacement variable tandis que PSF suppose que tous les caractères occupent une quantité identique d'espace à l'écran, comme 8 × 8, 8 × 14 ou, le plus souvent, 8 × 16 pixels. Pour cette raison, la conversion d'une police PCF en PSF peut produire un rendu laid à moins qu'il n'y ait une intervention manuelle. La conversion d'une police vectorielle est encore plus difficile car elle doit être pixellisée dans le petit espace de 8 × 16 pixels ou moins. FontForge est un outil qui pourrait vous aider dans cette tâche.