Dannyu NDos Asked: 2018-06-16 00:38:25 +0800 CST2018-06-16 00:38:25 +0800 CST 2018-06-16 00:38:25 +0800 CST 如何在终端中重新启用粗体文本? 772 在旧版本的 Ubuntu 中,在 gnome-terminal 的首选项设置中有“允许粗体文本”选项。我曾经把它关掉。 但在最近的版本中,该选项似乎消失了,我只停留在非粗体文本中。如何重新启用粗体文本? command-line gnome-terminal text 1 个回答 Voted Best Answer egmont 2018-06-16T12:50:46+08:002018-06-16T12:50:46+08:00 从 Ubuntu 18.04(GNOME 终端 3.28)开始,此首选项仍可作为隐藏选项使用,只是不再显示在 UI 上。 您可以使用dconf(方便地使用dconf-editor)在 下更改它/org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold。 此外,新创建的(从头开始,即未克隆)配置文件将其设置为默认值,即启用。
从 Ubuntu 18.04(GNOME 终端 3.28)开始,此首选项仍可作为隐藏选项使用,只是不再显示在 UI 上。
您可以使用
dconf
(方便地使用dconf-editor
)在 下更改它/org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold
。此外,新创建的(从头开始,即未克隆)配置文件将其设置为默认值,即启用。