Question Comment changer la taille de police par défaut de XTerm?


La police XTerm est très petite. Comment puis-je le régler plus grand?


68
2017-07-09 17:35


origine


cela serait également utile - évitez les caractères gras sur elle unix.stackexchange.com/questions/31999/… - Sergio Abreu
Ceci est exhaustif et donne un aperçu du programme xterm: invisible-island.net/xterm/manpage/xterm.html - SDsolar


Réponses:


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 divers programmes X. Ajouter une ligne au fichier, par exemple

xterm*font:     *-fixed-*-*-*-18-*

Cela informe xterm utiliser la police "fixe" à la taille 18.

De là, vous pouvez soit redémarrer X ou exécuter xrdb -merge ~/.Xresources dans un terminal pour intégrer les modifications que vous avez apportées. Tous les nouveaux xterms devrait maintenant avoir le changement de police.

Si tu cours man xterm et descendre à la section RESSOURCES, vous pouvez trouver une richesse de plus, configurable xterm options


79
2017-07-09 19:33



Merci noffle cela a fonctionné .... mais comment puis-je définir les dimensions des fenêtres xterm à un fixe? - Sudo
La ressource X pour les dimensions est geometry. Donc quelque chose comme le suivant dans votre .Xresources travaillerait: xterm*geometry: 110x50. - noffle
Vous êtes les bienvenus. Envisagez de créer une question distincte pour le problème de la géométrie à l’avenir, plutôt que de la placer dans un commentaire: cela complique la tâche des autres. - noffle
Merci d'avoir mentionné la partie 'xrdb -merge', qui a fait l'affaire! - HidekiAI
Avoir cette même question, à la fois la taille de la police et le problème de redimensionnement, merci @noffle - Onix


Utilisez les paramètres -fa et -fs:

xterm -fa 'Monospace' -fs 14

38
2017-08-15 14:17



Cela ne "change pas la taille de police par défaut" (comme demandé)! - Dirk
Cela fonctionne à la ligne de commande mais pas à partir de l'interface graphique. - SDsolar


Vous pouvez également cliquer avec le bouton droit de la souris tout en maintenant la touche Ctrl enfoncée pour modifier temporairement la taille de la police.


36
2017-11-05 14:24



C'est vraiment cool! Merci beaucoup. - SDsolar
Comment savoir quelle taille de police et quel visage vous avez réellement sélectionné avec cette méthode, pour que vous puissiez en faire la valeur par défaut dans ~ / .Xresources? - Geeb


De jouer avec /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 vraiment bonne.

Source: page de manuel de xterm (1), partie Polices VT, qui indique "Le paramètre fontMenu apparaît lorsque la touche" control "et        Les trois boutons du pointeur sont enfoncés dans une fenêtre. "

Méthode 2: Permanent. Regarder à travers /etc/X11/app-defaults/XTerm, trouver quelles tailles de lignes 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à énoncées).

A propos de mon système: j'utilise Ubuntu 13.10


7
2017-08-06 08:36



Je n'ai pas remarqué que dolzenko a déjà posté la méthode 1 auparavant. Tant pis. - Sergiy Kolodyazhnyy
Et la méthode 2, modifier les fichiers système, n'est pas recommandée. Vous (et tous les utilisateurs de votre système) pouvez perdre vos modifications à tout moment lorsqu'une mise à jour remplace ce fichier. - Dirk


vous pouvez aussi simplement les tester avec:

xterm -fn "--nettoyer-- * --- * --- * --- * - * "

après sel avec xfontsel


3
2018-03-23 22:34





Une autre option, ajoutez ceci à votre ~/.Xresources faire des raccourcis clavier pour changer 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 au lieu.

Ensuite, vous pouvez utiliser ctrl++ pour augmenter la taille de la police ou ctrl+- pour diminuer la taille, comme vous le pouvez avec ctrl+right-click et en sélectionnant l'une des autres options de taille de police.


1
2017-09-29 18:08





Création du fichier .Xresources avec des lignes de code spécifiées (fournies dans la réponse par noffle) résolu mon 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

0
2018-01-12 22:26



Cela devrait probablement être un commentaire à la place (sur la réponse que vous mentionnez) - Nonny Moose