J'utilise Ubuntu 15.04 64-bit Desktop Edition (un Linux basé sur Debian).
J'ai utilisé sudo dpkg-reconfigure console-setup à partir de la ligne de commande pour changer le type de police par défaut de la console en Terminus. Immédiatement après, les polices de la console ont été remplacées par une police plus nette.
Cependant, après un redémarrage Ctrl +Alt +F1 m'amène à une fenêtre de console qui a le style de police d'origine plus épais, pas mon choix sélectionné.
Le /etc/default/console-setup le fichier semble avoir été modifié selon mes choix.
# CONFIGURATION FILE FOR SETUPCON
# Consult the console-setup(5) manual page.
ACTIVE_CONSOLES="/dev/tty[1-6]"
CHARMAP="UTF-8"
CODESET="guess"
FONTFACE="Terminus"
FONTSIZE="8x16"
VIDEOMODE=
# The following is an example how to use a braille font
# FONT='lat9w-08.psf.gz brl-8x8.psf'
Comment changer définitivement la police de la console pour utiliser ma police préférée ?
Réponse acceptée :
Voir https://askubuntu.com/questions/630118/ et https://askubuntu.com/questions/328463/.
Ce problème semble être causé par une incompatibilité dans le nom des polices
que la configuration de la console attend par rapport à ce qui se trouve dans /usr/share/consolefonts/ , et
ainsi copié dans /etc/console-setup/ lorsque vous choisissez une police à utiliser (en utilisant dpkg-reconfigure console-setup ).
Si vous allez sur une console et faites un strace /lib/udev/console-setup-tty fbcon ,
vous pouvez voir qu'il essaie d'ouvrir des polices comme ceci :
/etc/console-setup/Lat15-TerminusBold11x22.psf
Mais si vous regardez dans /etc/console-setup/ , il n'y a qu'une poignée de
polices (celles que vous avez choisies), et elles ressemblent plutôt à ceci :
/etc/console-setup/Lat15-TerminusBold22x11.psf.gz
L'un a hauteur x largeur, et l'autre a largeur x hauteur.
Le problème peut être résolu de plusieurs manières.
(1) /lib/udev/console-setup-tty pourrait être corrigé – Il s'agit de la solution en amont la plus
permanente.
(2) Vous pouvez modifier manuellement /etc/default/console-setup , en inversant
la hauteur et la largeur dans FONTSIZE. Cela devra être fait chaque fois que vous
modifiez les polices à l'aide de dpkg-reconfigure console-setup . Mais lorsque la
machine redémarre, cette préférence est conservée.
(3) Vous pouvez installer les polices attendues par console-setup-tty. C'est ce que j'appelle l'option "overkill". Je l'ai fait comme ceci :
Dans /etc/rc.local :
# install console fonts and then set up console
/etc/console-setup/fonts.sh install
/lib/udev/console-setup-tty fbcon
Créez un script appelé /etc/console-setup/fonts.sh :
#!/bin/bash
action=$1
srcdir="/usr/share/consolefonts"
parent="/etc/console-setup"
subdir="fonts"
case "$1" in
install)
# console fonts are not named properly in Ubuntu 15.04, compensate
[[ -d $parent/$subdir ]] || mkdir $parent/$subdir
for x in $( cd $srcdir ; ls -1 ) ; do
# rearrange the two numbers from HHxWW to WWxHH
y=$(echo "$x" | sed -e 's/^([^-]*)-([^0-9]*)([0-9]*)x([0-9]*).psf.gz/1-24x3.psf.gz/g')
# whether the pattern above matches or not, we'll be uncompressing here
z=${y/.psf.gz/.psf}
[[ ! -f $parent/$subdir/$z ]] && zcat $srcdir/$x > $parent/$subdir/$z
[[ ! -L $parent/$z ]] && ln -sv $subdir/$z $parent/$z
done
;;
uninstall)
rm -rf $parent/$subdir
# only remove broken links (links to the fonts we removed above)
rm $(find -L $parent -type l)
;;
*)
echo "$(basename $0) install|uninstall"
;;
esac
exit 0
Pour une solution pragmatique rapide, je ferais #2, avec un commentaire dans le fichier qu'il faudra peut-être refaire si vous choisissez une police différente (en supposant que le commentaire
ne le fasse pas aussi être écrasé).
Mais #3 fonctionne bien avec un minimum d'agitation ou de gâchis.