Debian : changer la police de la console
J’ai un peu de mal avec cette police par défaut utilisée dans la console sous Debian. Pour changer la police, veuillez taper à partir de la ligne de commande :
dpkg-reconfigure console-setup
Le choix du codage
Prenez de l’UTF-8.
Le choix du jeu de caractères
Choisissez le latin1.
Le choix de la police de caractères
Pour une police proche de celle qui existe sur d’autres distributions, je vous recommande la TerminusBoldVGA.
Le choix de la taille de la police
Dernière étape : vous devez déterminer la taille de la police des caractères !
Le fichier /etc/default/console-setup
Toutes les options choisies lors des étapes précédentes sont consignées dans le fichier /etc/default/console-setup.
CHARMAP="UTF-8" CODESET="Lat15" FONTFACE="TerminusBoldVGA" FONTSIZE="8x14"