GNOMEターミナル3.32(Ubuntu 19.04でデビュー)は、「明るい色で太字テキストを表示」オプションのデフォルトを無効に変更しました。別の答えがあなたをうまく示しているように、1つの可能な修正はその設定を元に戻すことです。
ただし、この変更は意図的なものであり、デフォルトのままです。示したエスケープシーケンスの1
(または01
)の意味については、従来の混乱があります。標準(ECMA-48§8.3.117)には「太字または強度の増加」と記載されているため、明確に定義されておらず、古い(太字および明るい)動作と新しい(太字のみ)動作の両方が適合しています。現在、1600万色のいずれかを選択する他の手段がありますが、「太字」の明確なオプションはありません。私たちの目的は、これら2つを分離し1
、「太字」のみを表すことです。
\e[01;32m
緑色のテキスト(32
)に切り替えて、より明るく太字(01
)にするために使用されるプロンプトで。一方、このアプローチでは、濃い色合いと太字の書体を組み合わせることができません。gnome-terminalの新しい動作では、この制限はもうありません。
番号90〜97は、前景色として明るい色に、背景色として100〜107に使用できます。これらは、太字にすることなく明るいカウンターパートに切り替わります。
したがって、これら2つの直交するプロパティを明確に分離することで、将来に向けた推奨事項を以下に示します。
チェックボックスを新しいデフォルトの状態である無効のままにします。プロンプトで使用する色と属性を決定し、それに応じて変更します。あなたは明るい色を持っているしたい場合は、交換する32
と92
、34
して94
新しい動作でなど、これは明るさではなく、大胆さに影響を与えます。これとは別に、太字の書体が必要な01
場合はを、そうでない場合は削除します。新しい動作では、これは明るさではなく大胆さに影響します。