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
source

1

Avez-vous trouvé un moyen de procéder?

— Luigi

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).

— egmont
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
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