Answers:
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
无关,如果要加粗字体,请保留,如果不需要,请将其删除。有了新的行为,这会影响胆量,但不会影响亮度。
的设置gnome-terminal
在:
[终端菜单]-> [首选项]-> [配置文件名称]
我认为您正在寻找的设置是:
“以明亮的颜色显示粗体文本”
如您所见,这些设置中的大多数现在都继承自系统主题,因此,除了该设置之外,如果您希望所有兼容终端之间的一致性,那么我将更改系统主题中的设置。