Jak mogę naprawić nudne kolory, które otrzymuję w terminalu Ubuntu 19.04?

Niedawno przeszedłem na Ubuntu 19.04 i teraz mam nudne kolory w terminalu, ale tylko poza programami:

Dla porównania widać żywe kolory, do których jestem przyzwyczajony, kiedy używam tropiciela:

Zmieniłem monit na:

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

Kolory pojawiają się w ten sposób w terminalu gnome i terminatorze.

Dzięki za pomoc w naprawie tego!

GNOME Terminal 3.32 (zadebiutowany w Ubuntu 19.04) zmienił domyślną opcję „Pokaż pogrubiony tekst w jasnych kolorach” na wyłączoną. Jak pokazuje kolejna odpowiedź, jedną z możliwych poprawek jest przywrócenie tego ustawienia.

Jednak ta zmiana była zamierzona i pozostanie domyślna. Istnieje starsze zamieszanie co do znaczenia 1(lub 01) w pokazanej sekwencji ucieczki. Standard (ECMA-48 § 8.3.117) mówi „intensywność pogrubiona lub zwiększona”, więc nie jest jasno określony, a zarówno stare (pogrubienie i jasność), jak i nowe (tylko pogrubienie) zachowania są zgodne. Istnieją teraz inne sposoby wybierania któregokolwiek z 16 milionów kolorów, ale nie ma jednoznacznej opcji dla „odważnego”. Naszym celem jest rozdzielenie tych dwóch elementów i uczynienie ich 1„odważnymi”.

\e[01;32mw pytaniu służy do przełączania na zielony tekst ( 32) i sprawia, że ​​jest on jaśniejszy i pogrubiony ( 01). Z drugiej strony takie podejście nie pozwala połączyć ciemniejszego odcienia z odważnym krojem pisma. Przy nowym zachowaniu gnome-terminal ograniczenie to już nie istnieje.

Liczby 90–97 mogą być używane dla jasnych kolorów jako pierwszoplanowych, a 100–107 jako tła. Przełączają się na jaśniejszy odpowiednik, nie czyniąc ich odważnymi.

Oto moje zalecenie, które wskazuje na przyszłość, z wyraźnym oddzieleniem tych dwóch ortogonalnych właściwości.

Pozostaw pole wyboru w nowym domyślnym stanie, wyłączone. Zdecyduj, jakie kolory i atrybuty chcesz mieć w swoim monicie, i odpowiednio go zmodyfikuj. Jeśli chcesz mieć kolor jasny, wymień 32się 92, 34z 94itp Dzięki nowej zachowań, wpływa to jasność, ale nie śmiałością. Niezależnie od tego, jeśli chcesz odważnego kroju, zachowaj 01, jeśli nie, usuń go. Nowe zachowanie wpływa na śmiałość, ale nie na jasność.

Ustawienia dla gnome-terminal:

[Menu terminala] -> [Preferencje] -> [Nazwa profilu]

Myślę, że ustawienie, którego szukasz, to:

„Pokaż pogrubiony tekst w jasnych kolorach”

Jak widać, większość z tych ustawień jest teraz dziedziczona z motywu systemowego, więc poza tym ustawieniem , jeśli chcesz uzyskać spójność na wszystkich zgodnych terminalach, zmienię ustawienia w motywie systemowym .