En versiones anteriores de Ubuntu, había la opción "permitir textos en negrita" en la configuración de preferencias de gnome-terminal. Solía apagarlo.
Pero en versiones recientes, parece que la opción desapareció y estoy atascado solo en textos que no están en negrita. ¿Cómo puedo volver a habilitar los textos en negrita?
Respuesta1
A partir de Ubuntu 18.04 (GNOME Terminal 3.28), esta preferencia todavía está disponible como opción oculta, simplemente ya no se muestra en la interfaz de usuario.
Puedes cambiarlo con dconf(convenientemente usando dconf-editor), en /org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold.
Además, los perfiles recién creados (desde cero, es decir, no clonados) lo configuran en el valor predeterminado, es decir, habilitado.