GNOME Terminal: Horrible font after guix system reconfigure

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/

Re: GNOME Terminal: Horrible font after guix system reconfigure

[Tobias Geerinckx-Rice]

[-- Attachment #1: Type: text/plain, Size: 783 bytes --]

Sirgazil,

sirgazil 写道：
> Maybe there is a bug with the defaults (at least with the 
> spacing)?

Yes, although the spacing is simply a side-effect of a bad or 
missing default font.  This is what variable-width (proportional) 
fonts look like when rendered as fixed-width (monospace) cells.

If you're lucky, GNOME is innocent, and a stale fontconfig cache 
is to blame.

1. Does /var/cache/fontconfig exist?  If so, remove it (you'll 
probably need sudo)
2. Regardless of step 1: run ‘fc-cache -r’ (without sudo) and
3. Open a new terminal[0]
4. …profit?

Kind regards,

T G-R

[0]: I don't know whether GNOME terminal tries to be clever by 
opening new windows in the same process, so do make sure you're 
actually starting a fresh instance.

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 832 bytes --]

Re: GNOME Terminal: Horrible font after guix system reconfigure

[sirgazil]

 ---- On Wed, 08 Jan 2020 20:16:59 -0500 Tobias Geerinckx-Rice <me@tobias.gr> wrote ----
 > Sirgazil,
 > 
 > sirgazil 写道：
 > > Maybe there is a bug with the defaults (at least with the 
 > > spacing)?
 > 
 > Yes, although the spacing is simply a side-effect of a bad or 
 > missing default font.  This is what variable-width (proportional) 
 > fonts look like when rendered as fixed-width (monospace) cells.
 > 
 > If you're lucky, GNOME is innocent, and a stale fontconfig cache 
 > is to blame.
 > 
 > 1. Does /var/cache/fontconfig exist?  If so, remove it (you'll 
 > probably need sudo)
 > 2. Regardless of step 1: run ‘fc-cache -r’ (without sudo) and
 > 3. Open a new terminal[0]
 > 4. …profit?

No profit.

1. fontconfig existed, I removed it
2. run "fc-cache -r"
3. Closed all terminal instances, started new, but nothing. Also restarted the desktop session, and nothing.

Tobias, why is it that you have to clean caches by hand on the Guix System? I don't understand why the system can't do this for me...

Maybe the manual should have a troubleshooting section and we could add something there about dealing with font problems? Because, currently, the manual says that you may need "fc-cache -rv" to refresh the font cache, but only when you are using Guix on a foreign distribution.

Re: GNOME Terminal: Horrible font after guix system reconfigure

[Christopher Baines]

[-- Attachment #1: Type: text/plain, Size: 488 bytes --]


sirgazil <sirgazil@zoho.com> writes:

> 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 another approach, I changed the Monospace Text option, within the
Fonts category of the Tweaks app (in the gnome-tweaks package).

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 962 bytes --]

Re: GNOME Terminal: Horrible font after guix system reconfigure

[sirgazil]

 ---- On Thu, 09 Jan 2020 03:47:41 -0500 Christopher Baines <mail@cbaines.net> wrote ----
 > 
 > sirgazil <sirgazil@zoho.com> writes:
 > 
 > > 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 another approach, I changed the Monospace Text option, within the
 > Fonts category of the Tweaks app (in the gnome-tweaks package).
 > 

That works too, yes. In my case, that option was set to "None 10" (so, no font, and size 10).

Re: GNOME Terminal: Horrible font after guix system reconfigure

[Ludovic Courtès]

Hello!

sirgazil <sirgazil@zoho.com> 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’.

Re: GNOME Terminal: Horrible font after guix system reconfigure

[Christopher Baines]

[-- Attachment #1: Type: text/plain, Size: 711 bytes --]


Ludovic Courtès <ludo@gnu.org> writes:

> Hello!
>
> sirgazil <sirgazil@zoho.com> 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?

I think I encountered this, I "fixed" it by going in to the Tweaks app
and selecting some fonts where previously I think some options didn't
have a font selected.

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 962 bytes --]

Re: GNOME Terminal: Horrible font after guix system reconfigure

[Gábor Boskovits]

Hello,

Christopher Baines <mail@cbaines.net> ezt írta (időpont: 2020. febr. 13.,
Csü 0:55):

>
> Ludovic Courtès <ludo@gnu.org> writes:
>
> > Hello!
> >
> > sirgazil <sirgazil@zoho.com> 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?
>
> I think I encountered this, I "fixed" it by going in to the Tweaks app
> and selecting some fonts where previously I think some options didn't
> have a font selected.
>
Same thing here. It would be nice if we could somehow manipulate these
setting from a script/dotfile, but I did not go deep into finding out how
that work. Anyone has any idea if that is supported?

Best regards,
g_bor

>

Re: GNOME Terminal: Horrible font after guix system reconfigure

[sirgazil]

 ---- On Wed, 12 Feb 2020 23:26:22 -0500 Gábor Boskovits <boskovits@gmail.com> wrote ----
 > Hello,
 > 
 > Christopher Baines <mail@cbaines.net> ezt írta (időpont: 2020. febr. 13.,
 > Csü 0:55):
 > 
 > >
 > > Ludovic Courtès <ludo@gnu.org> writes:
 > >
 > > > Hello!
 > > >
 > > > sirgazil <sirgazil@zoho.com> 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?
 > >
 > > I think I encountered this, I "fixed" it by going in to the Tweaks app
 > > and selecting some fonts where previously I think some options didn't
 > > have a font selected.
 > >
 > Same thing here. It would be nice if we could somehow manipulate these
 > setting from a script/dotfile, but I did not go deep into finding out how
 > that work. Anyone has any idea if that is supported?

But whose setting is not properly set? GNOME Terminal, GNOME, ...? :)

As far as I understand, GNOME applications use GSettings for application settings and gschema XML files (https://developer.gnome.org/gio/stable/GSettings.html).

GNOME Terminal, for example, comes with a gschema XML file which defines default values:

https://gitlab.gnome.org/GNOME/gnome-terminal/blob/gnome-3-32/src/org.gnome.Terminal.gschema.xml

By default, the application seems to be set to use the system monospace font. So why is it that the font value in the default GNOME Terminal profile is not set. I don't remember if it appears empty or set to "None 10".

Re: GNOME Terminal: Horrible font after guix system reconfigure

[Gábor Boskovits]

Hello,

sirgazil <sirgazil@zoho.com> ezt írta (időpont: 2020. febr. 13., Csü 19:09):

>  ---- On Wed, 12 Feb 2020 23:26:22 -0500 Gábor Boskovits <
> boskovits@gmail.com> wrote ----
>  > Hello,
>  >
>  > Christopher Baines <mail@cbaines.net> ezt írta (időpont: 2020. febr.
> 13.,
>  > Csü 0:55):
>  >
>  > >
>  > > Ludovic Courtès <ludo@gnu.org> writes:
>  > >
>  > > > Hello!
>  > > >
>  > > > sirgazil <sirgazil@zoho.com> 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?
>  > >
>  > > I think I encountered this, I "fixed" it by going in to the Tweaks app
>  > > and selecting some fonts where previously I think some options didn't
>  > > have a font selected.
>  > >
>  > Same thing here. It would be nice if we could somehow manipulate these
>  > setting from a script/dotfile, but I did not go deep into finding out
> how
>  > that work. Anyone has any idea if that is supported?
>
> But whose setting is not properly set? GNOME Terminal, GNOME, ...? :)
>
> As far as I understand, GNOME applications use GSettings for application
> settings and gschema XML files (
> https://developer.gnome.org/gio/stable/GSettings.html).
>
> GNOME Terminal, for example, comes with a gschema XML file which defines
> default values:
>
>
> https://gitlab.gnome.org/GNOME/gnome-terminal/blob/gnome-3-32/src/org.gnome.Terminal.gschema.xml
>
> By default, the application seems to be set to use the system monospace
> font. So why is it that the font value in the default GNOME Terminal
> profile is not set. I don't remember if it appears empty or set to "None
> 10".
>

IIRC the horrible look and spacing was exactly because monospace was
selected, so I believe in my case the default was picked up, but it looked
very bad. Maybe we should just provide sensible defaults.

Best regards,
g_bor

>