Month: March 2021

GNOME Terminal Bold Font

Enable bold font for GNOME Terminal:

0x01

# Get profile id
dconf dump /org/gnome/terminal/legacy/
 
# Set bold font
dconf write /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/font "'Monospace Bold 14'"

0x02
Preferences->Profiles->->Colors:
Select “Show bold text in bright colors”