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

Réponses:

93

Si vous n'en avez pas déjà un, créez un fichier dans votre répertoire de base nommé .Xresourcespour stocker vos préférences pour différents programmes X. Ajouter une ligne au fichier tel que

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

Cela vous indique xtermd’utiliser la police «fixée» à la taille 18.

À partir de là, vous pouvez soit redémarrer X, soit exécuter xrdb -merge ~/.Xresourcesdans un terminal pour intégrer les modifications que vous avez apportées. Tous les nouveaux xterms devraient maintenant avoir la police de changement.

Si vous exécutez man xtermet descendez à la section RESSOURCES, vous pouvez trouver une multitude d’ xtermoptions supplémentaires et configurables .

noffle
la source
Merci beaucoup, cela a fonctionné .... mais comment puis-je définir les dimensions des fenêtres xterm sur celles fixes?
Sudo
3
La ressource X pour les dimensions est geometry. Donc , quelque chose comme ce qui suit dans votre .Xresourcesfonctionnerait: xterm*geometry: 110x50.
noffle
5
Je vous en prie. Envisagez de créer une question distincte à l'avenir pour le problème de la géométrie plutôt que de l'insérer dans un commentaire: cela compliquera la tâche des autres.
noffle
Merci d'avoir mentionné la partie 'xrdb -merge', ça a fait l'affaire!
HidekiAI
3
xterm: cannot load font '*-fixed-*-*-*-38-*' Warning: Shell widget "xterm" has an invalid geometry specification: "*-fixed-*-*-*-38-*"
Aaron Franke
48

Utilisez les paramètres -fa et -fs:

xterm -fa 'Monospace' -fs 14
nvd
la source
2
Cela ne "change pas la taille de la police par défaut" (comme demandé)!
Dirk
Cela fonctionne sur la ligne de commande mais pas depuis l'interface graphique.
SDsolar
L'utilisation Monospacene changera pas simplement la taille mais utilisera une police assez différente (du moins c'est le cas sous Ubuntu 18.04). Et je trouve Monospaceutiliser des quantités excessives d'anti-aliasing, ce qui le rend flou lorsqu'il est affiché à côté d'une xtermfenêtre avec la police par défaut.
Kasperd
40

Vous pouvez également appuyer sur Ctrl-clic droit pour modifier temporairement la taille de la police.

dolzenko
la source
2
Comment savoir quelle taille de police et quelle face vous avez réellement sélectionnée avec cette méthode, de sorte que vous puissiez en faire la valeur par défaut dans ~ / .Xresources?
Geeb
1
@Geeb vous pouvez savoir quelle police correspond à quelle entrée de menu avecappres XTerm | grep -i utf8font
Matija Nalis
9

En jouant avec le /etc/X11/app-defaults/XTermfichier et la page de manuel de 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 ne reste activé que tant que vous maintenez la touche clic droit enfoncée. Vous devriez voir 7 choix, le plus grand étant énorme, et c'est ce que j'utilise parce que ma vision n'est pas très bonne.

Source: Page de manuel de xterm (1), partie Polices VT, qui indique "Le menu fontMenu apparaît lorsque vous appuyez sur la touche" Ctrl "et le pointeur trois dans une fenêtre."

Méthode 2: permanente. Parcourez les /etc/X11/app-defaults/XTermlignes 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 des raisons que j'ai déjà indiquées).

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

Sergiy Kolodyazhnyy
la source
N'a pas remarqué que dolzenko a déjà posté la méthode 1 avant. Tant pis.
Sergiy Kolodyazhnyy
1
Et la méthode 2, changer 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
3

vous pouvez aussi simplement les tester avec:

xterm -fn "- -clean- - * - - - - - - - - - - - - -" "

after sel avec xfontsel

tapoter
la source
3

Une autre option, ajoutez ceci à votre ~/.Xresourcespour créer 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, assurez-vous de l'utiliser à la UXTerm.vt100.translationsplace.

Vous pouvez ensuite utiliser ctrl+ +pour augmenter la taille de la police ou ctrl+ -pour la réduire, comme vous le pouvez avec ctrl+ right-clicket en sélectionnant l'une des autres options de taille de police.

Matthieu
la source
3

Vous pouvez ajouter ce qui suit à titre d'exemple à votre ~/.Xresourcesfichier:

! Use a truetype font and size.
xterm*faceName: Monospace
xterm*faceSize: 14

Puis lancez ce qui suit:

xrdb -merge ~/.Xresources
Nazmul Idris
la source
0

La création du fichier .Xresources avec des lignes de code spécifiées (fournies dans la réponse de noffle) a résolu mon problème, mais lors du redémarrage, les paramètres ont de nouveau été perdus.

Si les paramètres spécifiés dans le fichier .Xresource ne sont pas automatiquement répercutés, essayez d'ajouter la ligne ci-dessous à ~/.bashrc.

[[ -f ~/.Xresources ]] && xrdb -merge ~/.Xresources
Jerin
la source
1
Cela devrait probablement être un commentaire à la place (sur la réponse que vous avez mentionnée)
Nonny Moose le