J'aime les polices bitmap dans mon xterm
, elles ont l'air très bien, il n'y a pas de rendu sous-pixel ni d'antialiasing, mais le fait qu'elles soient faites à la main pour chaque pixel le rend cool. Mais je ne sais pas comment trouver de telles polices sur Internet et comment les installer dans mon Ubuntu, puis les sélectionner avec xterm
.
Ce dont j'ai besoin, c'est une instruction détaillée pour les trois étapes:
xterm
Voici comment configurer fixed-medium
, mais je ne sais pas trop ce que cela signifie et comment sélectionner un fichier:
xterm -ls -font '-*-fixed-medium-*-*-*-18-*-*-*-*-*-*-9' -b 20
C’est ce que j’avais utilisé auparavant, pour les polices TrueType, que je ne veux plus utiliser pour mon xterm
:
xterm -fs 11 -fa AndroidMono -geometry 120x30 -n 'terminal' -ls
Vous avez 80+ paquets standard avec "xfont" dans leur nom. Certains d'entre eux sont des ensembles destinés à des objectifs spécifiques tels que "Web", "biz", etc., de sorte que des centaines de polices x sont disponibles à l'installation.
La configuration des polices par défaut dans un xterm est bien couverte dans Comment changer la taille de police par défaut de XTerm
Une méthode de sélection supplémentaire non couverte dans le lien ci-dessus utilisant une séquence d'échappement pour changer la police dans un xterm. Tout d’abord, assurez-vous que "Autoriser l’utilisation de la police" est coché dans le menu du bouton de souris ctrl-R (près du bas). La commande echo:
echo -n -e "\033]50;8x16\007"
définit la police sur 8x16. Mettez la commande dans un script que vous pouvez exécuter, en passant la police comme argument:
#/bin/bash
# mychfnt script
MYFNT=${1-8x16}
echo -n -e "\033]50;$MYFNT\007"
par exemple. placez un fichier exécutable nommé chfnt avec ce qui précède dans votre répertoire $ HOME/bin, et chaque fois que vous souhaitez modifier les polices, utilisez
xlsfonts
pour répertorier les polices disponibles, puis sélectionnez-en une et
chfnt "-sony-fixed-medium-r-normal--24-230-75-75-c-120-iso8859-1"