Missing font for terminal ? #18

Closed
opened 2021-05-01 13:54:51 +00:00 by WhizzoCode · 3 comments
WhizzoCode commented 2021-05-01 13:54:51 +00:00 (Migrated from gitlab2.manjaro.org)

In a just installed Manjaro 21.0.3 GNOME:

The Terminal font is set to "NotoSansMono Nerd Font 11" but not font with that name was installed.

In a just installed Manjaro 21.0.3 GNOME: The Terminal font is set to "NotoSansMono Nerd Font 11" but not font with that name was installed.
yochananmarqos1 commented 2021-05-01 14:54:26 +00:00 (Migrated from gitlab2.manjaro.org)

The font package name is nerd-fonts-noto-sans-mono. It should have been installed by default as it's required by manjaro-gnome-assets and manjaro-zsh-config.

The font package name is `nerd-fonts-noto-sans-mono`. It should have been installed by default as it's required by `manjaro-gnome-assets` and `manjaro-zsh-config`.
WhizzoCode commented 2021-05-01 19:24:40 +00:00 (Migrated from gitlab2.manjaro.org)

I confirm the package is instaled, but the font isn't listed in the gnome terminal profile preferences. I think is the same problem here.

I confirm the package is instaled, but the font isn't listed in the gnome terminal profile preferences. I think is the same problem [here](https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1871807).
yochananmarqos1 commented 2024-06-26 17:06:27 +00:00 (Migrated from gitlab2.manjaro.org)

Closing stale issue.

Closing stale issue.
yochananmarqos1 (Migrated from gitlab2.manjaro.org) closed this issue 2024-06-26 17:06:28 +00:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
profiles/manjaro-gnome-settings#18
No description provided.