From mboxrd@z Thu Jan  1 00:00:00 1970
From: =?UTF-8?Q?G=C3=A1bor_Boskovits?= <boskovits@gmail.com>
Subject: Re: GNOME Terminal: Horrible font after guix system reconfigure
Date: Thu, 13 Feb 2020 05:26:22 +0100
Message-ID: <CAE4v=pjpeRsb9b=j27PG3zb-xG6njPNdkC-YhEXmvTBWZBnPiA@mail.gmail.com>
References: <16f87b97c70.b1a5e48e48152.4966096921865190473@zoho.com>
 <87zhdnucuc.fsf@gnu.org> <875zgb1hu0.fsf@cbaines.net>
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]:37696)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <boskovits@gmail.com>) id 1j265G-00039C-K6
 for help-guix@gnu.org; Wed, 12 Feb 2020 23:26:39 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <boskovits@gmail.com>) id 1j265F-0004vR-GY
 for help-guix@gnu.org; Wed, 12 Feb 2020 23:26:38 -0500
Received: from mail-ed1-x536.google.com ([2a00:1450:4864:20::536]:42784)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <boskovits@gmail.com>) id 1j265F-0004vE-AV
 for help-guix@gnu.org; Wed, 12 Feb 2020 23:26:37 -0500
Received: by mail-ed1-x536.google.com with SMTP id e10so5133788edv.9
 for <help-guix@gnu.org>; Wed, 12 Feb 2020 20:26:37 -0800 (PST)
In-Reply-To: <875zgb1hu0.fsf@cbaines.net>
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: Christopher Baines <mail@cbaines.net>
Cc: help-guix <help-guix@gnu.org>

Hello,

Christopher Baines <mail@cbaines.net> ezt =C3=ADrta (id=C5=91pont: 2020. fe=
br. 13.,
Cs=C3=BC 0:55):

>
> 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 noticed
> that the font is too big and the spacing between characters seems odd:
> >>
> >>
> https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2=
020-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 how
that work. Anyone has any idea if that is supported?

Best regards,
g_bor

>