From mboxrd@z Thu Jan 1 00:00:00 1970 From: sirgazil Subject: GNOME Terminal: Horrible font after guix system reconfigure Date: Wed, 08 Jan 2020 19:34:37 -0500 Message-ID: <16f87b97c70.b1a5e48e48152.4966096921865190473@zoho.com> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:40940) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ipLmj-00057a-BD for help-guix@gnu.org; Wed, 08 Jan 2020 19:34:50 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ipLmi-0001Xq-4w for help-guix@gnu.org; Wed, 08 Jan 2020 19:34:49 -0500 Received: from sender4-pp-o91.zoho.com ([136.143.188.91]:25114) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ipLmh-0001TX-SZ for help-guix@gnu.org; Wed, 08 Jan 2020 19:34:48 -0500 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane-mx.org@gnu.org Sender: "Help-Guix" To: Guix Help Hi, I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that t= he 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)? As a workaround, you can 1. Start a GNOME Terminal 2. Go to Terminal =E2=86=92 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/