Comment puis-je corriger les couleurs ternes que j'obtiens dans le terminal Ubuntu 19.04?

11

Je suis récemment passé à Ubuntu 19.04 et je reçois maintenant des couleurs ternes dans le terminal, mais uniquement en dehors des programmes:

couleurs ternes

En comparaison, vous pouvez voir les couleurs vives auxquelles je suis habitué lorsque j'utilise ranger:

couleurs vives avec ranger

J'ai changé mon invite en:

PS1='\[\e[01;32m\]\u ∈  \h\[\e[m\] \[\e[01;34m\]\w ⊢ \[\e[m\] '

Les couleurs apparaissent de cette façon dans gnome-terminal et terminator.

Merci pour toute aide pour résoudre ce problème!

user3711004
la source

Réponses:

15

GNOME Terminal 3.32 (lancé dans Ubuntu 19.04) a changé la valeur par défaut de l'option "Afficher le texte en gras dans des couleurs vives" en désactivée. Comme une autre réponse vous le montre bien, une solution possible consiste à rétablir ce paramètre.

Cependant, ce changement était intentionnel et restera la valeur par défaut. Il y a une confusion héritée sur la signification du 1(ou 01) dans la séquence d'échappement que vous avez montrée. La norme (ECMA-48 § 8.3.117) dit "gras ou intensité accrue", donc ce n'est pas clairement défini, et les anciens (gras et brillant) et les nouveaux (gras seulement) comportements sont conformes. Il existe maintenant d'autres moyens de choisir l'un des 16 millions de couleurs, mais aucune option sans ambiguïté pour "gras". Notre objectif est de séparer ces deux, et de ne faire 1que "gras".

\e[01;32mdans votre invite utilisé pour passer au texte vert ( 32) et le rendre à la fois plus lumineux et plus audacieux ( 01). D'un autre côté, cette approche ne vous permet pas de combiner la teinte plus foncée avec une police en gras. Avec le nouveau comportement de gnome-terminal, cette limitation n'est plus là.

Les numéros 90–97 peuvent être utilisés pour les couleurs vives comme couleurs de premier plan et 100–107 pour celles de fond. Ceux-ci passent à l'homologue le plus brillant sans les rendre audacieux.

Voici donc ma recommandation qui pointe vers l'avenir, avec la séparation claire de ces deux propriétés orthogonales.

Laissez la case à cocher à son nouvel état par défaut, désactivée. Décidez quelles couleurs et quels attributs vous souhaitez avoir dans votre invite et modifiez-les en conséquence. Si vous voulez avoir une couleur vive, remplacez 32par 92, 34par 94etc. Avec le nouveau comportement, cela influence la luminosité mais pas l'audace. Indépendamment de cela, si vous voulez une police de caractères en gras, conservez-la 01, sinon, supprimez-la. Avec le nouveau comportement, cela influence l'audace mais pas la luminosité.

egmont
la source
6

Les paramètres de gnome-terminalsont dans:

[Menu du terminal] -> [Préférences] -> [Nom du profil]

Je pense que le paramètre que vous recherchez est:

"Afficher le texte en gras dans des couleurs vives"

fenêtre de préférences de gnome-terminal

Comme vous pouvez le voir, la plupart de ces paramètres sont désormais hérités du thème système, donc, à part ce paramètre , si vous souhaitez une cohérence sur tous vos terminaux conformes, je modifierais les paramètres du thème système .

tu-Reinstate Monica-dor duh
la source
Il n'y a pas de "Afficher le texte en gras dans des couleurs vives" dans le thème du système, il n'est pas hérité de là. Il s'agit d'une option de configuration qui n'existe que dans le terminal.
egmont
@egmont Oui, c'est exact. Je viens de mentionner en passant que toutes les autres options de couleur sont héritées du thème système. Le "Afficher le texte en gras dans des couleurs vives" est la première partie de la réponse. Votre réponse donne une trame de fond qui est très intéressante!
tu-Reinstate Monica-dor duh