在舊版的 Ubuntu 中，gnome-terminal 的首選項設定中有「允許粗體文字」選項。我曾經把它關掉。
但在最近的版本中，似乎該選項消失了，我只能使用非粗體文字。如何重新啟用粗體文字？
答案1
從 Ubuntu 18.04（GNOME Terminal 3.28）開始，此首選項仍可作為隱藏選項使用，但不再顯示在 UI 上。
dconf您可以使用 下的（方便使用dconf-editor）來更改它/org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold。
此外，新建立的（從頭開始，即不是克隆的）設定檔將其設為預設值，即啟用。