From mboxrd@z Thu Jan  1 00:00:00 1970
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@gnu.org>
Subject: Re: GNOME Terminal: Horrible font after guix system reconfigure
Date: Wed, 12 Feb 2020 14:58:19 +0100
Message-ID: <87zhdnucuc.fsf@gnu.org>
References: <16f87b97c70.b1a5e48e48152.4966096921865190473@zoho.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]:41689)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <ludo@gnu.org>) id 1j1sX0-0007ka-K4
 for help-guix@gnu.org; Wed, 12 Feb 2020 08:58:23 -0500
In-Reply-To: <16f87b97c70.b1a5e48e48152.4966096921865190473@zoho.com>
 (sirgazil@zoho.com's message of "Wed, 08 Jan 2020 19:34:37 -0500")
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: sirgazil <sirgazil@zoho.com>
Cc: Guix Help <help-guix@gnu.org>

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 =E2=80=98guix system vm=E2=80=99, so it=E2=
=80=99s not related to
state.

Any idea how to fix it?

Ludo=E2=80=99.