* GNOME Terminal: Horrible font after guix system reconfigure
@ 2020-01-09 0:34 sirgazil
2020-01-09 1:16 ` Tobias Geerinckx-Rice
` (2 more replies)
0 siblings, 3 replies; 10+ messages in thread
From: sirgazil @ 2020-01-09 0:34 UTC (permalink / raw)
To: Guix Help
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/
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-01-09 0:34 GNOME Terminal: Horrible font after guix system reconfigure sirgazil
@ 2020-01-09 1:16 ` Tobias Geerinckx-Rice
2020-01-09 14:21 ` sirgazil
2020-01-09 8:47 ` Christopher Baines
2020-02-12 13:58 ` Ludovic Courtès
2 siblings, 1 reply; 10+ messages in thread
From: Tobias Geerinckx-Rice @ 2020-01-09 1:16 UTC (permalink / raw)
To: help-guix, sirgazil
[-- 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 --]
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-01-09 0:34 GNOME Terminal: Horrible font after guix system reconfigure sirgazil
2020-01-09 1:16 ` Tobias Geerinckx-Rice
@ 2020-01-09 8:47 ` Christopher Baines
2020-01-09 14:23 ` sirgazil
2020-02-12 13:58 ` Ludovic Courtès
2 siblings, 1 reply; 10+ messages in thread
From: Christopher Baines @ 2020-01-09 8:47 UTC (permalink / raw)
To: help-guix
[-- 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 --]
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-01-09 1:16 ` Tobias Geerinckx-Rice
@ 2020-01-09 14:21 ` sirgazil
0 siblings, 0 replies; 10+ messages in thread
From: sirgazil @ 2020-01-09 14:21 UTC (permalink / raw)
To: Tobias Geerinckx-Rice; +Cc: help-guix
---- 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.
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-01-09 8:47 ` Christopher Baines
@ 2020-01-09 14:23 ` sirgazil
0 siblings, 0 replies; 10+ messages in thread
From: sirgazil @ 2020-01-09 14:23 UTC (permalink / raw)
To: Christopher Baines; +Cc: help-guix
---- 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).
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-01-09 0:34 GNOME Terminal: Horrible font after guix system reconfigure sirgazil
2020-01-09 1:16 ` Tobias Geerinckx-Rice
2020-01-09 8:47 ` Christopher Baines
@ 2020-02-12 13:58 ` Ludovic Courtès
2020-02-12 23:55 ` Christopher Baines
2 siblings, 1 reply; 10+ messages in thread
From: Ludovic Courtès @ 2020-02-12 13:58 UTC (permalink / raw)
To: sirgazil; +Cc: Guix Help
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’.
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-02-12 13:58 ` Ludovic Courtès
@ 2020-02-12 23:55 ` Christopher Baines
2020-02-13 4:26 ` Gábor Boskovits
0 siblings, 1 reply; 10+ messages in thread
From: Christopher Baines @ 2020-02-12 23:55 UTC (permalink / raw)
To: help-guix
[-- 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 --]
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-02-12 23:55 ` Christopher Baines
@ 2020-02-13 4:26 ` Gábor Boskovits
2020-02-13 18:09 ` sirgazil
0 siblings, 1 reply; 10+ messages in thread
From: Gábor Boskovits @ 2020-02-13 4:26 UTC (permalink / raw)
To: Christopher Baines; +Cc: help-guix
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
>
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-02-13 4:26 ` Gábor Boskovits
@ 2020-02-13 18:09 ` sirgazil
2020-02-13 21:46 ` Gábor Boskovits
0 siblings, 1 reply; 10+ messages in thread
From: sirgazil @ 2020-02-13 18:09 UTC (permalink / raw)
To: "Gábor Boskovits"; +Cc: Christopher Baines, help-guix
---- 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".
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: GNOME Terminal: Horrible font after guix system reconfigure
2020-02-13 18:09 ` sirgazil
@ 2020-02-13 21:46 ` Gábor Boskovits
0 siblings, 0 replies; 10+ messages in thread
From: Gábor Boskovits @ 2020-02-13 21:46 UTC (permalink / raw)
To: sirgazil; +Cc: help-guix
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
>
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2020-02-13 21:47 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-09 0:34 GNOME Terminal: Horrible font after guix system reconfigure sirgazil
2020-01-09 1:16 ` Tobias Geerinckx-Rice
2020-01-09 14:21 ` sirgazil
2020-01-09 8:47 ` Christopher Baines
2020-01-09 14:23 ` sirgazil
2020-02-12 13:58 ` Ludovic Courtès
2020-02-12 23:55 ` Christopher Baines
2020-02-13 4:26 ` Gábor Boskovits
2020-02-13 18:09 ` sirgazil
2020-02-13 21:46 ` Gábor Boskovits
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.