web-dev-qa-db-fra.com

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

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

command-linextermfonts
81
Sudo

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 différents programmes X. Ajouter une ligne au fichier tel que

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

Ceci indique à xterm d'utiliser la police 'fixée' à la taille 18.

À partir de là, vous pouvez redémarrer X ou exécuter xrdb -merge ~/.Xresources dans un terminal pour intégrer les modifications apportées. Tous les nouveaux xterms devraient maintenant avoir la police modifiée.

Si vous exécutez man xterm et allez dans la section RESOURCES, vous pouvez trouver une multitude d’options supplémentaires et configurables, xterm.

89
noffle

Utilisez les paramètres -fa et -fs:

xterm -fa 'Monospace' -fs 14
45
nvd

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

40
dolzenko

En jouant avec le fichier /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 enfoncée puis cliquez avec le bouton droit de la souris. Cela devrait faire apparaître un menu pour les polices VT, qui ne reste actif que tant que vous maintenez la touche clic droit enfoncée. Vous devriez voir 7 choix, le plus grand étant énorme, 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 sur le bouton de pointeur trois dans une fenêtre."

Méthode 2: Permanent. Parcourez /etc/X11/app-defaults/XTerm, trouvez quelles tailles de lignes 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

8
Sergiy Kolodyazhnyy

Une autre option, ajoutez ceci à votre ~/.Xresources pour créer des raccourcis clavier permettant de 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 à la place.

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

3
Matthew

vous pouvez aussi simplement les tester avec:

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

after sel avec xfontsel

3
pat

La création du fichier .Xresources avec des lignes de code spécifiées (fournies dans la réponse par noffle) a résolu mon problème, mais lors du redémarrage, les paramètres ont é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
0
Jerin

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

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

Puis lancez ce qui suit:

xrdb -merge ~/.Xresources
0
nazmul idris