Ubuntu の古いバージョンでは、gnome-terminal の設定に「太字テキストを許可する」オプションがありました。私はこれをオフにしていました。
しかし、最近のバージョンではオプションがなくなったようで、太字でないテキストのみで表示されてしまいます。太字テキストを再度有効にするにはどうすればいいでしょうか?
答え1
Ubuntu 18.04 (GNOME ターミナル 3.28) では、この設定は非表示の設定として引き続き利用可能ですが、UI には表示されなくなりました。
dconf（ を使うと便利ですdconf-editor）で変更できます/org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold。
また、新しく作成された（最初から、つまり複製されていない）プロファイルでは、デフォルト値、つまり有効に設定されます。