Nas versões antigas do Ubuntu, havia a opção "permitir textos em negrito" nas configurações de preferência do gnome-terminal. Eu costumava desligar.
Mas nas versões recentes, parece que a opção desapareceu e estou preso apenas em textos sem negrito. Como posso reativar textos em negrito?
Responder1
A partir do Ubuntu 18.04 (Terminal GNOME 3.28), essa preferência ainda está disponível como oculta, mas não é mais exibida na IU.
Você pode alterá-lo com dconf(convenientemente usando dconf-editor), em /org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold.
Além disso, perfis recém-criados (do zero, ou seja, não clonados) definem-no com o valor padrão, ou seja, habilitado.