Disabilita l'uso di Colori vivaci per grassetto in gnome-terminal

9

gnome-terminal utilizza colori vivaci per caratteri in grassetto. È possibile configurarlo per utilizzare lo stesso colore per i caratteri in grassetto come per i caratteri normali. Inoltre, ho bisogno di colori brillanti da qualche altra parte, quindi probabilmente cambiare la tavolozza dei colori non sarebbe d'aiuto.

gnome-terminal

— Jingyue Wu
fonte

1

Hai trovato un modo per farlo?

— Luigi

2

GNOME Terminal versione 3.28 aggiunge una nuovissima opzione di configurazione per questo, chiamata “Mostra testo in grassetto con colori vivaci” (abilitato di default).

— Egmont
fonte

0

Apri il tuo gnome-terminal e apri le "Preferenze del profilo": Edit -> Profile Preferences

Vai alla Colorsscheda e seleziona la Same as text colorcasella di controllo Text Colorsull'opzione.

Dai un'occhiata al mio screenshot che mostra la finestra di dialogo "Preferenze profilo":

Preferenze del profilo del terminale Gnome

— gbc921
fonte

1

Non penso sia giusto; questo sembra far sì che il testo in grassetto senza alcuna informazione sul colore usi lo stesso colore del testo non in grassetto senza informazioni sul colore, ma il testo in grassetto colorato sembra comunque andare per i colori vivaci.

— Alec,

Non ho un ambiente di prova. a quello, ma impostare il colore grassetto e il colore normale come colori simili risolverebbe questo problema?

— gbc921,

2

Lo sarebbe, ma il motivo per cui le persone lo desiderano è (sospetto) perché vogliono usare una combinazione di colori terminale che utilizza sia i colori normali che quelli luminosi (ad esempio, solarizzati).

— Alec,