Я только недавно переключился на Ubuntu 19.04, и теперь я получаю скучные цвета в терминале, но только вне программ:
Для сравнения вы можете видеть яркие цвета, к которым я привык, когда использую рейнджер:
Я изменил свое приглашение на:
PS1='\[\e[01;32m\]\u ∈ \h\[\e[m\] \[\e[01;34m\]\w ⊢ \[\e[m\] '
Цвета появляются таким образом в терминале гнома и в терминаторе.
Спасибо за любую помощь, исправляющую это!
Ответы:
GNOME Terminal 3.32 (дебютировал в Ubuntu 19.04) изменил значение по умолчанию для параметра «Показывать жирный текст яркими цветами» на отключенное. Как хорошо показывает другой ответ, одно из возможных исправлений - отменить эту настройку.
Однако это изменение было преднамеренным и будет оставаться по умолчанию. Существует устаревшая путаница относительно значения 1(или 01) в последовательности перехода, которую вы показали. Стандарт (ECMA-48, § 8.3.117) гласит «жирный или повышенный уровень интенсивности», поэтому он не имеет четкого определения, и как старое (жирный и яркий), так и новый (только полужирный) режимы соответствуют друг другу. В настоящее время существуют другие способы выбора любого из 16 миллионов цветов, но нет однозначного варианта для «жирного». Наша цель состоит в том, чтобы разделить эти два, и 1выступать только за "смелый".
\e[01;32mв вашем приглашении используется для переключения на зеленый текст ( 32) и сделать его более ярким и жирным ( 01). С другой стороны, этот подход не позволяет сочетать более темный оттенок с жирным шрифтом. С новым поведением gnome-Terminal этого ограничения больше нет.
Числа 90–97 можно использовать для ярких цветов в качестве передних, а 100–107 в качестве фоновых. Они переключаются на более яркую копию, не делая их жирным шрифтом.
Итак, вот моя рекомендация, которая указывает на будущее с четким разделением этих двух ортогональных свойств.
Оставьте флажок в его новом состоянии по умолчанию, отключен. Решите, какие цвета и атрибуты вы хотите иметь в вашем приглашении, и измените его соответствующим образом. Если вы хотите , чтобы цвет яркий, замените 32с 92, 34с и 94т.д. С новым поведением, это влияет на яркость , но не смелостью. Независимо от этого, если вы хотите жирный шрифт, сохраните 01, если нет, удалите его. С новым поведением это влияет на смелость, но не на яркость.
Настройки для gnome-terminalнаходятся в:
[Меню терминала] -> [Предпочтения] -> [Имя профиля]
Я думаю, что настройка, которую вы ищете:
«Показать жирный текст в ярких цветах»
Как вы можете видеть, большинство этих настроек теперь унаследованы от системной темы, поэтому, если не считать этих настроек , если вы хотите согласованности всех ваших совместимых терминалов, то я бы изменил настройки в системной теме .