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

86

La police XTerm est très petite. Comment puis-je l'agrandir?

command-line xterm fonts

— Sudo
source

cela serait également utile - évitez les caractères gras dessus 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

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
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
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
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
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
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
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
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
source

1

Cela devrait probablement être un commentaire à la place (sur la réponse que vous avez mentionnée)

— Nonny Moose le