How to use bold font in gnome-terminal

Ask Fedora
,
1

Does gnome-terminal support using bold fonts?

For example, using ptyxis, when choosing a font, it shows a bunch of weight options for each font type like “JetBrains Mono Bold”. But when using gnome-terminal, it only lists “JetBrains Mono” without any obvious way to select weight.

$ gnome-terminal --version
# GNOME Terminal 3.54.0 using VTE 0.78.0 +BIDI +GNUTLS +ICU +SYSTEMD
2

Added gnome-terminal

3

You can set that in the profile settings under text.
Click on custom font then you can select the one you like.

4

When I try that, I get only the font names (not weights). Here’s an example:

image
image952×1086 61.4 KB

If I want a bold version of “JetBrains Mono”, there’s no option there.

5

You’ll need to use the dconf command line to get the ID for the profile you are using in GNOME Terminal and set the font.

To get the list of profile IDs, run the following command:

dconf dump /org/gnome/terminal/legacy/

To set the custom font string, use the following command, replacing profile-id with the correct profile ID from above and Monospace Bold 14 with the font name and font size that you want to use:

dconf write /org/gnome/terminal/legacy/profiles:/:profile-id/font "'Monospace Bold 14'"

Source: https://hev.cc/posts/2021/gnome-terminal-bold-font/

3 Likes