Re: GNOME Terminal: Horrible font after guix system reconfigure

[Ludovic Courtès]

Hello!

sirgazil <address@hidden> skribis:

> I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that the 
> font is too big and the spacing between characters seems odd:
>
>   
> https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01-08.png
>
> Maybe there is a bug with the defaults (at least with the spacing)?

This problem still shows up in ‘guix system vm’, so it’s not related to
state.

Any idea how to fix it?

Ludo’.