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