web-dev-qa-db-fra.com

XTerm ignore apparemment la taille de la police .Xresources

J'ai des problèmes étranges concernant la taille des polices XTerm depuis la mise à jour Xenial.

Le contenu réel du terminal (invites, sortie, etc.) semble excessivement volumineux et je ne peux pas les ajuster du tout via .Xresources. Je suis en mesure de changer la taille en utilisant l'option Ctrl + clic (l'option "Minuscule" correspond plus à ce qu'elle était avant la mise à jour), mais le changement n'est pas permanent entre les sessions et je préfère corriger la racine du problème.

Une autre chose est que la police de dialogue Ctrl + clic semble excessivement petite pour une raison quelconque.

Link to screenshot

Les paramètres DPI sont les mêmes qu’avant la mise à jour et à peu près tout ce que j’ai exécuté sous X ne semble pas avoir ce problème. C'est juste XTerm qui a ce problème.

Voici le bit pertinent de mes .Xresources:

XTerm*renderFont: True
XTerm*borderWidth: 0
XTerm*faceName: Bitstream Vera Sans Mono
xterm*faceSize: 8
xterm*vt100*geometry: 80x80
xterm*saveLines: 16384
*customization: -color
xterm*termName: xterm-256color
xterm*eightBitInput: false

Edit: Le contenu de /etc/X11/app-defaults/XTerm sur la machine problématique est exactement le même que celui des autres machines, qui ne rencontrent pas ce problème particulier, mais sont toujours sur 14.04. Ils ont aussi exactement la même copie de .Xresources.

command-line16.04fontsxterm
4
TmRa5O4ef

Les paramètres de l'application remplacent les ressources (ou. X). Vous devez consulter/etc/X11/app-defaults/XTerm pour modifier les polices de façon permanente. Le SimpleMen menuLabel.font est pour le menu lui-même, les autres ressemblent

 *fontMenu*font2*Label:  Tiny
*VT100.font2:           5x7

ou

*VT100.utf8Fonts.font2: -misc-fixed-medium-r-normal--8-80-75-75-c-50-iso10646-1
*VT100.utf8Fonts.font:  -misc-fixed-medium-r-semicondensed--13-120-75-75-c-60-iso10646-1

Vous pouvez modifier les valeurs pour n’importe quelle police figurant dans la liste.

xlsfonts

commande, mais vous limiter à des polices fixes a tendance à fonctionner mieux. Toutes les polices telles que 5x7 sont fixes, cinq pixels de large, sept de haut, il est donc facile d’en choisir un plus grand. Les noms les plus longs ont une taille intégrée dans le nom (premier chiffre), avec une résolution de 75-75 ou 100-100. Essayez plusieurs à la fois sur la police disponible 2-6. La nouvelle machine peut avoir une résolution différente, ce qui donne l'impression que le même paramètre est plus petit que l'ancien.

5x7 est la plus petite police standard de ce groupe. S'il est trop gros, vous avez probablement un problème de résolution. Vérifiez la résolution de votre écran (DASH/Paramètres (engrenage)/Écrans). S'il est plus petit qu'avant, vous devrez peut-être (ré) installer des pilotes vidéo propriétaires.

1
ubfan1

Le fichier .Xresources n'est pas chargé directement par l'application. Au lieu de cela, le serveur X charge ce fichier, puis les applications interrogent les ressources à partir du serveur.

Pour fusionner le .Xresources dans la session X en cours, vous pouvez utiliser

xrdb -merge ~/.Xresources

Pas sûr qu'ils soient lus par défaut au démarrage de la session X; sinon, essayez de mettre cette commande dans votre script de démarrage de session (par exemple, .xinitrc s'il est utilisé dans votre DE).

Pour en savoir plus: page de ressources X sur ArchWiki .

0
Ruslan