有人能够成功做到这一点吗?据我所知,这是非常困难的,因为 gnome-terminal 缺少禁用“使用明亮作为粗体”的选项。这意味着:
$ echo "\e[1;31mred" # bold, color #1 (red)
和
$ echo "\e[31mred" # no bold, color #1 (red)
将使用不同的颜色(前者实际上将使用颜色 #9,“亮红色”),而 16 种颜色主题取决于此 not 发生。
您可以通过以下方式解决这个问题:
$ echo "\e[1;38;5;1mred"
它将显示颜色为 #1 的粗体文本,而不是颜色 #9,但许多现有应用程序不这样做,并且依赖于
"\e[1;31mred"
为红色。
除非修改所有使用颜色的终端应用程序以使用 38 代码方法,有没有办法让 gnome-terminal 与这些主题一起工作?
回答这个古老的问题,仅供记录:
2018 年,gnome-terminal 添加了您正在寻找的选项,在其首选项窗口中称为“以明亮的颜色显示粗体文本”。
随后在 2019 年,它甚至默认禁用它,这是您首选的行为。
恢复旧行为的选项仍然存在,并且可能会保留很长一段时间。