GNOME Terminal: Horrible font after guix system reconfigure

[sirgazil]

Hi,

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)?

As a workaround, you can

1. Start a GNOME Terminal
2. Go to Terminal → Preferences
3. Select the active Profile
4. Activate the "Custom font" option
5. Select a font and size of your preference


---
https://sirgazil.bitbucket.io/