option

programs.gnome-terminal.profile.<name>.allowBold

If true, allow applications in the terminal to make text boldface.

Declarations

Type

null or boolean

Default

null