GNU bug report logs - #38810
[PATCH] services: console-font: Update example with HDPI font suggestion.

Previous Next

Full log

Message #13 received at 38810-done <at> debbugs.gnu.org (full text, mbox):

From: Jan Nieuwenhuizen <janneke <at> gnu.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 38810-done <at> debbugs.gnu.org
Subject: Re: [bug#38810] [PATCH] services: console-font: Update example with
 HDPI font suggestion.
Date: Mon, 30 Dec 2019 23:40:32 +0100

Ludovic Courtès writes:

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

Yes, that was so helpful!  I've been trying from time to time and did
not succeed until now.

> Yeah, we should just change the example to “guix search console”.

Okay, changed to "guix system search console".

> LGTM!

Thanks, pushed to master.

>> +@cindex HDPI
>
> Do people expect “HDPI” or “HiDPI”?  Wikipedia says both:
> <https://en.wikipedia.org/wiki/Pixel_density#Named_pixel_densities>.
> Perhaps add two cindex entries then?

Sure.  HDPI is more common on the interwebs, I just added HiDPI; thanks!
Always nice if you can find what you are looking fore :)

janneke

-- 
Jan Nieuwenhuizen <janneke <at> gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.