La police de XTerm est très petite. Comment puis-je l'agrandir ?
Réponses
Trop de publicités?Si vous n'en avez pas encore, créez dans votre répertoire personnel un fichier nommé .Xresources
pour enregistrer vos préférences pour divers programmes X. Ajoutez au fichier une ligne telle que
xterm*font: *-fixed-*-*-*-18-*
Cela permet d'informer xterm
pour utiliser la police "fixe" en taille 18.
A partir de là, vous pouvez soit redémarrer X, soit exécuter xrdb -merge ~/.Xresources
dans un terminal pour intégrer les changements que vous avez effectués. Toutes les nouvelles xterm
devraient maintenant avoir le changement de police.
Si vous exécutez man xterm
et descendez jusqu'à la section RESSOURCES, vous trouverez une multitude d'informations supplémentaires et configurables. xterm
options.
De l'embrouille avec /etc/X11/app-defaults/XTerm
et la page de manuel de Xterm, j'ai trouvé deux méthodes.
Méthode 1 : Une méthode plus simple mais pas permanente : maintenez la touche Ctrl et le bouton de clic droit. Cela devrait faire apparaître un menu pour les polices VT, qui ne reste affiché que tant que vous maintenez la touche de clic droit enfoncée. Vous devriez voir 7 choix, le plus grand étant huge, qui est ce que j'utilise parce que ma vision n'est pas très bonne.
Source : page de manuel xterm(1), partie VT Fonts, qui indique que "Le menu des polices s'affiche lorsque la touche "control" et le bouton trois du pointeur sont enfoncés dans une fenêtre". le bouton 3 du pointeur sont enfoncés dans une fenêtre".
Méthode 2 : Permanent. Regardez dans /etc/X11/app-defaults/XTerm
trouver des lignes de tailles telles que *VT100.font1:
choisissez-en un, et écrivez quelque part xterm*font: 10x20
(10x20, encore une fois, c'est mon choix pour les raisons que j'ai déjà mentionnées).
A propos de mon système : Je suis sous Ubuntu 13.10
- Réponses précédentes
- Plus de réponses