Dan*_*Dos 3 text command-line gnome-terminal
在旧版本的 Ubuntu 中，gnome-terminal 的首选项设置中有“允许粗体文本”选项。我曾经把它关掉。
但是在最近的版本中，该选项似乎消失了，而且我只能使用非粗体文本。如何重新启用粗体文本？
从 Ubuntu 18.04 (GNOME Terminal 3.28) 开始，这个首选项仍然是隐藏的，只是不再显示在 UI 上。
您可以使用dconf（方便地使用dconf-editor），在 下更改它/org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold。
此外，新创建的（从头开始，即未克隆）配置文件将其设置为默认值，即启用。