La police XTerm est très petite. Comment puis-je le définir plus grand?
Si vous n'en avez pas déjà un, créez un fichier dans votre répertoire personnel nommé .Xresources
pour stocker vos préférences pour différents programmes X. Ajouter une ligne au fichier tel que
xterm*font: *-fixed-*-*-*-18-*
Ceci informe xterm
d’utiliser la police "fixe" à la taille 18.
À partir de là, vous pouvez soit redémarrer X, soit exécuter xrdb -merge ~/.Xresources
dans un terminal pour intégrer les modifications que vous avez apportées. Tous les nouveaux xterm
s devraient maintenant avoir le changement de police.
Si vous exécutez man xterm
et descendez dans la section RESSOURCES, vous pouvez trouver une multitude d’options xterm
supplémentaires et configurables.
Après avoir utilisé /etc/X11/app-defaults/XTerm
fichier et page de manuel pour Xterm, j'ai trouvé deux méthodes.
Méthode 1: Une méthode plus simple mais non permanente: maintenez la touche Ctrl enfoncée et cliquez avec le bouton droit de la souris. Cela devrait faire apparaître un menu pour les polices VT, qui reste activé aussi longtemps que vous maintenez la touche clic droit. Vous devriez voir 7 choix, le plus grand étant énorme, ce que j'utilise parce que ma vision n'est pas exactement bonne.
Source: page de manuel xterm (1), partie Polices VT, qui indique "Le paramètre fontMenu s’affiche lorsque la touche" control "et Les trois boutons du pointeur sont enfoncés dans une fenêtre. "
Méthode 2: permanente. Parcourez /etc/X11/app-defaults/XTerm
, trouvez les lignes de tailles telles que *VT100.font1:
, choisissez-en une et écrivez quelque part xterm*font: 10x20
(10x20, encore une fois, c'est mon choix pour les raisons que j'ai déjà indiquées).
À propos de mon système: j'exécute Ubuntu 13.10
Une autre option, ajoutez-la à votre ~/.Xresources
pour créer des raccourcis clavier permettant de modifier la taille de la police:
XTerm.vt100.translations: #override \n\
Ctrl <Key> minus: smaller-vt-font() \n\
Ctrl <Key> plus: larger-vt-font()
Si vous utilisez uxterm, veillez à utiliser UXTerm.vt100.translations
à la place.
Ensuite, vous pouvez utiliser ctrl + + pour augmenter la taille de la police ou ctrl + - pour diminuer la taille , comme vous pouvez le faire avec ctrl + right-click
et en sélectionnant l'une des autres options de taille de police.
La création du fichier .Xresources avec des lignes de code spécifiées (fourni dans la réponse par noffle) a résolu le problème, mais au redémarrage, les paramètres ont été perdus à nouveau.
Si les paramètres spécifiés dans le fichier .Xresource ne sont pas reflétés automatiquement, essayez d’ajouter la ligne ci-dessous à ~/.bashrc
.
[[ -f ~/.Xresources ]] && xrdb -merge ~/.Xresources
Lire d'autres questions sur les étiquettes command-line fonts xterm