Gnome Terminal doesn't list all of the installed fonts on Preferences section

amircodes · 15 March 2023 13:58

Hi, I hope you’re doing well.
My NeoVim font style is really bad.I decided to change font style of my terminal so that I can have a better font style in NeoVim. but I couldn’t find all of the font installed on the machine in fonts section.

What is the problem with that?

I run: 5.15.94-1-MANJARO GNOME

Mirdarthos · 15 March 2023 14:06

Hi @amircodes,

Where did you look?

Please see:

https://help.gnome.org/users/gnome-terminal/stable/app-fonts.html.en

amircodes · 15 March 2023 14:21

Yeah I already did all those stuff but can’t find any bold font yet! I installed fira-code which has a bold version. But can’t be displayed in the font section.

Mirdarthos · 15 March 2023 14:22

Check here:

Also:

And:

gist.github.com

https://gist.github.com/wention/a47eb49f9588e395c08c2de085078728

export_or_import.md

# Export gnome terminal settings

dump gnome terminal settings

```
dconf dump /org/gnome/terminal/legacy/profiles:/
```

```
[:b1dcc9dd-5262-4d8d-a863-c897e6d979b9]

This file has been truncated. show original

set_gnome_terminal_font.sh

#!/bin/bash

# Change default font for gnome terminal
dconf write /org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default)/font "'Ubuntu Mono derivative Powerline Plus Nerd File Types 13'"

Also:

https://bbs.archlinux.org/viewtopic.php?id=241370

amircodes · 15 March 2023 15:12

the Tweak one didn’t work. I’ve already tested it.
The other one is for KDE.

Mirdarthos · 15 March 2023 15:15

Then: