答案1
GNOME Terminal 3.32(在 Ubuntu 19.04 中首次亮相)将“以亮色显示粗体文本”选项的默认设置更改为禁用。正如另一个答案很好地向您展示的那样,一种可能的解决方法是恢复该设置。
但是,此更改是故意的,并将保留为默认设置。您展示的转义序列中的1
(或01
)的含义存在遗留混淆。标准 (ECMA-48 § 8.3.117) 规定“加粗或增加强度”,因此它没有明确定义,旧行为(加粗和明亮)和新行为(仅加粗)均符合要求。现在存在其他方法可以从 1600 万种颜色中选择任意一种,但“加粗”没有明确的选项。我们的目标是将这两者分开,并1
仅代表“加粗”。
\e[01;32m
在您的提示中,用于切换到绿色文本 ( 32
) 并使其更亮更粗 ( 01
)。另一方面,这种方法不允许您将较暗的阴影与粗体字体相结合。随着 gnome-terminal 的新行为,这一限制不再存在。
数字 90–97 可用作前景亮色,数字 100–107 可用作背景亮色。这些颜色会切换到更亮的颜色,但不会使颜色变粗。
因此,这是我面向未来的建议,明确区分这两个正交属性。
将复选框保留为新的默认状态,即禁用。确定提示中想要的颜色和属性,并进行相应修改。如果想要明亮的颜色,请将其替换32
为92
,替换34
为94
等。使用新行为,这会影响亮度但不会影响粗体。与此无关,如果您想要粗体字体,请保留01
,如果不想要,请将其删除。使用新行为,这会影响粗体但不会影响亮度。