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:
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 ~/.Xresources
dé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?
xrdb -load
de prendre très longtemps? J'attends depuis au moins 5 minutes sans activité, et selon queps -e
ça fonctionne toujours.Définir une
allowBoldFonts
propriété fonctionne pour moiAjoutez la ligne suivante dans votre
~/.Xresources
la source
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
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
au lieu.
Encore une autre chose à vérifier est que vous exécutez réellement
xterm
lorsque vous exécutez un processus terminal. Sinon, vous devrez modifier les polices avec une ressource différente.la source
Il existe une ressource XTerm spécialement pour cela. Peut-être n'existait-il pas lorsque la question a été posée à l'origine?
la source
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.xfontsel
est un bon moyen de déterminer la police à spécifier. Vous pouvez également démarrer unxterm
avec quelque chose commexterm -font '-misc-fixed-medium-r-*-*-10-*-*-*-*-*-*-*'
pour tester que vos valeurs par défaut prennent effet.la source
C'est un bug xterm:
Un correctif temporaire qui fonctionne pour moi consiste à mettre le correctif lourd suivant à la fin de votre
.bashrc
fichier:la source
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.la source
Vérifiez si le paramètre a pris effet:
S'il n'est pas là, vous pouvez le forcer à charger:
Consultez la page de manuel pour en savoir plus sur cette commande.
la source