Désactiver l'utilisation de couleurs vives pour la police en gras dans gnome-terminal

9

gnome-terminal utilise des couleurs vives pour les polices en gras. Est-il possible de le configurer pour utiliser la même couleur pour les polices en gras que pour les polices normales. De plus, j'ai besoin de couleurs vives ailleurs, donc changer la palette de couleurs ne serait probablement pas utile.

gnome-terminal Jingyue Wu
la source
1
Avez-vous trouvé un moyen de procéder?
Luigi

Réponses:

2

GNOME Terminal version 3.28 ajoute une toute nouvelle option de configuration pour cela, appelée «Afficher le texte en gras dans des couleurs vives» (activée par défaut).

Afficher le texte en gras dans des couleurs vives

egmont
la source
0

Ouvrez votre gnome-terminal et ouvrez les "Préférences de profil": Edit -> Profile Preferences

Allez dans l' Colorsonglet et cochez la Same as text colorcase de l' Text Coloroption.

Jetez un œil à ma capture d'écran montrant la boîte de dialogue "Préférences de profil":

Préférences de profil du terminal Gnome

gbc921
la source
1
Je ne pense pas que ce soit juste; cela semble faire en sorte que le texte en gras sans aucune information de couleur utilise la même couleur que le texte sans gras sans information de couleur, mais le texte en gras coloré semble toujours opter pour les couleurs vives.
Alec
Je n'ai pas d'env test. à cela, mais définir la couleur en gras et la couleur normale comme des couleurs similaires résoudrait ce problème?
gbc921
2
Ce serait le cas, mais la raison pour laquelle les gens le souhaitent est (je suppose) parce qu'ils veulent utiliser un schéma de couleurs terminal qui utilise à la fois des couleurs normales et lumineuses (par exemple, solarisées).
Alec