Wie kann ich fettgedruckte Texte im Terminal wieder aktivieren?

Question

In alten Ubuntu-Versionen gab es in den Einstellungen des Gnome-Terminals die Option „Fettdruck zulassen“. Ich habe sie immer deaktiviert.

Aber in neueren Versionen scheint die Option verschwunden zu sein und ich muss mich mit nicht fettgedruckten Texten begnügen. Wie kann ich fettgedruckte Texte wieder aktivieren?

Answer 1

Ab Ubuntu 18.04 (GNOME Terminal 3.28) ist diese Einstellung noch als versteckte Einstellung verfügbar, sie wird nur nicht mehr auf der Benutzeroberfläche angezeigt.

dconfSie können es (bequem über dconf-editor) unter ändern /org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold.

Außerdem wird es bei neu erstellten (von Grund auf neu, also nicht geklonten) Profilen auf den Standardwert (aktiviert) gesetzt.