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

Une autre option, ajoutez ceci à votre ~/.Xresources pour créer des touches de raccourci permettant de modifier 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 d'utiliser UXTerm.vt100.translations à la place.

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

Vous pouvez aussi simplement les tester avec :

xterm -fn "- -Nettoyer- -*- - -*- - -*- - -*-*"

après sel avec xfontsel

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

Si vous utilisez code::blocks pour le développement C/C++ sous ubuntu, alors je vous recommande de changer votre terminal pour l'option gnome-terminal et pour ce faire, rendez-vous sur Paramètres > Environnement > Paramètres généraux et ensuite changer le terminal par défaut pour le terminal gnome.