Comment faire pour que XTerm n'utilise pas de gras?


15

J'aime utiliser XTerm, j'aime sa police "fixe" par défaut, et j'aime utiliser les couleurs de terminal plutôt que d'avoir un terminal monochromatique.

Cependant, XTerm semble insister sur l'utilisation d'une version en gras de la police chaque fois qu'elle affiche une couleur vive:

capture d'écran

Je déteste la version audacieuse de la police, mais j'aime la luminosité. La page de manuel semble suggérer que l'ajout de " XTerm.VT100.boldMode:false" à mon ~/.Xresourcesdésactiverait cette "fonctionnalité", mais cela ne semble pas avoir d'effet. Je l'ai depuis des mois, donc ce n'est pas un problème de redémarrage.

Comment puis-je forcer XTerm à toujours utiliser la version standard non gras de la police fixe, même lorsqu'elle affiche du texte clair?

Edit: Certains ont suggéré de mettre "XTerm * boldMode: false" dans mes ~ / .Xresources. Cela n'a pas aidé non plus. J'ai cependant confirmé que les modifications sont entrées en vigueur avec xrdb:

$ xrdb -query | grep boldMode 
XTerm*boldMode: false

Si j'exécute xprop et clique sur un xterm, j'obtiens " WM_CLASS(STRING) = "xterm", "XTerm"" .. donc j'exécute définitivement de vrais xterms.

BTW, ce n'est qu'une boîte Ubuntu Intrepid simple vanille. Si quelqu'un d'autre ici fonctionne de la même manière, pouvez-vous essayer de lancer:

echo -e '#\e[1m#'

... et faites-moi savoir si le # à droite a un pixel noir au milieu comme celui de gauche?

Réponses:


12

Si vous définissez la même police pour les polices en gras et normales, cela peut fonctionner.

J'ai mis la fixedpolice pour les deux comme:

xterm*font: fixed
xterm*boldFont: fixed

Si vous le faites xrdb -loadet commencez un nouveau terme, ce n'était plus du gras :)


1
MERCI MERCI MERCI MERCI MERCI MERCI MERCI
mike

1
Est-ce normal xrdb -loadde prendre très longtemps? J'attends depuis au moins 5 minutes sans activité, et selon que ps -eça fonctionne toujours.
David Kennedy du

@DaveKennedy Même problème ici - est-il jamais terminé?
user3728501

11

Définir une allowBoldFontspropriété fonctionne pour moi

Ajoutez la ligne suivante dans votre ~/.Xresources

XTerm*allowBoldFonts: false

Cela fonctionne même lorsque vous utilisez XTerm * faceName :-)
Sebastian Blask

C'était la seule solution qui a fonctionné pour moi, probablement aussi parce que j'utilise XTerm * faceName
minism

5

Les ressources X ne sont pas rechargées jusqu'à ce que vous rechargiez le système de fenêtrage X, et elles ne sont interrogées que si vous redémarrez l'exécutable qui le fait. Essayez de courir

xrdb ~/.Xresources

dans votre session en cours. Ensuite, démarrez un autre xterm. Au prochain démarrage de X (reconnexion ou redémarrage), les ressources devraient être lues automatiquement.

Une autre chose à essayer est d'utiliser un caractère générique pour vous assurer qu'il récupère correctement la ressource. Utilisation

XTerm*boldMode: false 

au lieu.

Encore une autre chose à vérifier est que vous exécutez réellement xtermlorsque vous exécutez un processus terminal. Sinon, vous devrez modifier les polices avec une ressource différente.


Il existe en fait depuis des mois, ce n'est donc pas le problème. J'ai mis à jour la question pour la rendre plus claire.
Mike

modifié pour ajouter plus de choses qui pourraient être incorrectes.
jamuraa

2

Il existe une ressource XTerm spécialement pour cela. Peut-être n'existait-il pas lorsque la question a été posée à l'origine?

XTerm*colorBDMode: true

1

J'ai trouvé nécessaire (sur Lucid Lynx) de créer ~/.Xdefaults-$(hostname). L'omission du nom d'hôte a rendu les paramètres inefficaces. La correspondance de la police et de boldFont par ba a réussi à éliminer le gras. xfontselest un bon moyen de déterminer la police à spécifier. Vous pouvez également démarrer un xtermavec quelque chose comme xterm -font '-misc-fixed-medium-r-*-*-10-*-*-*-*-*-*-*'pour tester que vos valeurs par défaut prennent effet.


1

C'est un bug xterm:

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=347790

Un correctif temporaire qui fonctionne pour moi consiste à mettre le correctif lourd suivant à la fin de votre .bashrcfichier:

 echo -e "\e[1mA\e[2J\e[7mB\e[m\e[?5h\e[?5l"
 clear

Malheureusement, cela n'aide pas. J'utilise XTerm (237), et ce bogue a été corrigé dans XTerm (235). La déclaration d'écho n'a pas aidé non plus.
Mike

1

Sur un système basé sur une police, essayez xterm -fa Fixed. Sur ma machine, cela corrige les polices en gras, bien que le rendu devienne plus lent.


0

Vérifiez si le paramètre a pris effet:

xrdb -query | grep XTerm

S'il n'est pas là, vous pouvez le forcer à charger:

xrdb -load ~/.Xresources

Consultez la page de manuel pour en savoir plus sur cette commande.


Il existe en fait depuis des mois, ce n'est donc pas le problème. J'ai mis à jour la question pour la rendre plus claire.
mike

Vous devriez quand même vérifier s'il se charge. Si ce n'est pas le cas, votre gestionnaire de fenêtres ne fait pas correctement les ressources.
jamuraa
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.