有没有人能够成功地做到这一点？据我所知，这是非常困难的，因为gnome-terminal缺少禁用“使用明亮粗体”的选项。这意味着：
$ echo "\e[1;31mred" # bold, color #1 (red)
和
$ echo "\e[31mred" # no bold, color #1 (red)
将使用不同的颜色（前者实际上使用颜色＃9，'鲜红色'），而16种颜色主题取决于不发生。
您可以通过以下方式解决问题：
$ echo "\e[1;38;5;1mred"
将显示颜色为＃1的粗体文字，而不是颜色＃9，但许多现有应用程序不会执行此操作，并依赖于"\e[1;31mred"为红色。
除非修改所有使用颜色的终端应用程序以使用38代码方法，否则有没有办法让gnome-terminal与这些主题一起工作？