From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:470:142:3::10]:52648)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1im354-0005ds-14
 for guix-patches@gnu.org; Mon, 30 Dec 2019 17:00:07 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1im352-0003w6-IL
 for guix-patches@gnu.org; Mon, 30 Dec 2019 17:00:05 -0500
Received: from debbugs.gnu.org ([209.51.188.43]:55825)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1im351-0003ti-UB
 for guix-patches@gnu.org; Mon, 30 Dec 2019 17:00:04 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1im351-0003mH-PK
 for guix-patches@gnu.org; Mon, 30 Dec 2019 17:00:03 -0500
Subject: [bug#38810] [PATCH] services: console-font: Update example with HDPI
 font suggestion.
Resent-Message-ID: <handler.38810.B38810.157774315014415@debbugs.gnu.org>
From: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
References: <87h81ihxt0.fsf@gnu.org>
Date: Mon, 30 Dec 2019 22:58:59 +0100
In-Reply-To: <87h81ihxt0.fsf@gnu.org> (Jan Nieuwenhuizen's message of "Mon, 30
 Dec 2019 12:12:27 +0100")
Message-ID: <877e2d1nmk.fsf@gnu.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
List-Id: <guix-patches.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guix-patches>
List-Post: <mailto:guix-patches@gnu.org>
List-Help: <mailto:guix-patches-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>,
 <mailto:guix-patches-request@gnu.org?subject=subscribe>
Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org
Sender: "Guix-patches" <guix-patches-bounces+kyle=kyleam.com@gnu.org>
To: Jan Nieuwenhuizen <janneke@gnu.org>
Cc: 38810@debbugs.gnu.org

Hi!

Jan Nieuwenhuizen <janneke@gnu.org> skribis:

> Another HDPI-inspired patch; since Marrakech I finally have a readable
> console font, thanks to Bernhard M. Wiedemann.

:-)

> This solution enters the manual in a kind of tricksy way.  More
> seriously, when updating the `guix system search console font' example
> output, I found that mingetty and login and ... entries to be missing.
> Is that a bug, or should the output be fixed?  We could also change
> the example command to `guix search console', then those entries are
> present again.

Yeah, we should just change the example to =E2=80=9Cguix search console=E2=
=80=9D.

>>>From 1b0d736405354c2c1aeb7aee00e63307d956ceae Mon Sep 17 00:00:00 2001
> From: Jan Nieuwenhuizen <janneke@gnu.org>
> Date: Mon, 30 Dec 2019 11:56:58 +0100
> Subject: [PATCH] services: console-font: Update example with HDPI font
>  suggestion.
>
> This solution was kindly provided by Bernard M. Wiedemann.
>
> * gnu/services/base.scm (console-font-service-type): Add ter132n (terminu=
s 132
> nomal) font example, for HDPI displays.
> * doc/guix.texi (Invoking guix system): Update `guix system search console
> font' example output.

LGTM!

> +@cindex HDPI

Do people expect =E2=80=9CHDPI=E2=80=9D or =E2=80=9CHiDPI=E2=80=9D?  Wikipe=
dia says both:
<https://en.wikipedia.org/wiki/Pixel_density#Named_pixel_densities>.
Perhaps add two cindex entries then?

Thanks!

Ludo=E2=80=99.