Как повторно включить полужирные тексты в Терминале?
В старых версиях Ubuntu, был, "позволяют полужирные тексты" опция в предпочтительных настройках терминала гнома. Я раньше выключал его.
Но в последних версиях, кажется, что опции не стало, и я застреваю только в неполужирных текстах. Как я могу повторно включить полужирные тексты?
3
задан dessert
15 June 2018 в 11:40
поделиться
1 ответ
С Ubuntu 18.04 (Терминал 3.28 GNOME) это предпочтение все еще доступно как скрытое, это просто больше не отображается на UI.
Можно изменить его с dconf (удобно использование dconf-editor), под /org/gnome/terminal/legacy/profiles:/:<profile-id>/allow-bold.
Кроме того, недавно созданный (с нуля, то есть, не клонированный) профили устанавливают его на значение по умолчанию, т.е. включили.
8
ответ дан egmont
1 December 2019 в 13:15
поделиться