From mboxrd@z Thu Jan  1 00:00:00 1970
From: sirgazil <sirgazil@zoho.com>
Subject: Re: GNOME Terminal: Horrible font after guix system reconfigure
Date: Thu, 13 Feb 2020 13:09:46 -0500
Message-ID: <1703fbe1598.fc31cb4f52655.4331615338880896571@zoho.com>
References: <16f87b97c70.b1a5e48e48152.4966096921865190473@zoho.com>
 <87zhdnucuc.fsf@gnu.org> <875zgb1hu0.fsf@cbaines.net>
 <CAE4v=pjpeRsb9b=j27PG3zb-xG6njPNdkC-YhEXmvTBWZBnPiA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane-mx.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:56350)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <sirgazil@zoho.com>) id 1j2Iw2-00029y-Jt
 for help-guix@gnu.org; Thu, 13 Feb 2020 13:09:59 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <sirgazil@zoho.com>) id 1j2Iw0-0002QT-9V
 for help-guix@gnu.org; Thu, 13 Feb 2020 13:09:58 -0500
Received: from sender4-pp-o91.zoho.com ([136.143.188.91]:25170)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <sirgazil@zoho.com>) id 1j2Iw0-0002Lf-0F
 for help-guix@gnu.org; Thu, 13 Feb 2020 13:09:56 -0500
In-Reply-To: <CAE4v=pjpeRsb9b=j27PG3zb-xG6njPNdkC-YhEXmvTBWZBnPiA@mail.gmail.com>
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/help-guix>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane-mx.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane-mx.org@gnu.org>
To: =?UTF-8?Q?=22G=C3=A1bor_Boskovits=22?= <boskovits@gmail.com>
Cc: Christopher Baines <mail@cbaines.net>, help-guix <help-guix@gnu.org>

 ---- On Wed, 12 Feb 2020 23:26:22 -0500 G=C3=A1bor Boskovits <boskovits@gm=
ail.com> wrote ----
 > Hello,
 >=20
 > Christopher Baines <mail@cbaines.net> ezt =C3=ADrta (id=C5=91pont: 2020.=
 febr. 13.,
 > Cs=C3=BC 0:55):
 >=20
 > >
 > > Ludovic Court=C3=A8s <ludo@gnu.org> writes:
 > >
 > > > Hello!
 > > >
 > > > sirgazil <sirgazil@zoho.com> skribis:
 > > >
 > > >> I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I notice=
d
 > > that the font is too big and the spacing between characters seems odd:
 > > >>
 > > >>
 > > https://multimedialib.files.wordpress.com/2020/01/terminal-font-proble=
m-2020-01-08.png
 > > >>
 > > >> Maybe there is a bug with the defaults (at least with the spacing)?
 > > >
 > > > This problem still shows up in =E2=80=98guix system vm=E2=80=99, so =
it=E2=80=99s 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 ho=
w
 > 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 se=
ttings and gschema XML files (https://developer.gnome.org/gio/stable/GSetti=
ngs.html).

GNOME Terminal, for example, comes with a gschema XML file which defines de=
fault 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 fon=
t. So why is it that the font value in the default GNOME Terminal profile i=
s not set. I don't remember if it appears empty or set to "None 10".