GNU bug report logs -
#38810
[PATCH] services: console-font: Update example with HDPI font suggestion.
Previous Next
Reported by: Jan Nieuwenhuizen <janneke <at> gnu.org>
Date: Mon, 30 Dec 2019 11:13:02 UTC
Severity: normal
Tags: patch
Done: Jan Nieuwenhuizen <janneke <at> gnu.org>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 38810 in the body.
You can then email your comments to 38810 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
guix-patches <at> gnu.org
:
bug#38810
; Package
guix-patches
.
(Mon, 30 Dec 2019 11:13:02 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Jan Nieuwenhuizen <janneke <at> gnu.org>
:
New bug report received and forwarded. Copy sent to
guix-patches <at> gnu.org
.
(Mon, 30 Dec 2019 11:13:02 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
Hi,
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.
Greetings,
janneke
[0001-services-console-font-Update-example-with-HDPI-font-.patch (text/x-patch, inline)]
From 1b0d736405354c2c1aeb7aee00e63307d956ceae Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke <at> 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 (terminus 132
nomal) font example, for HDPI displays.
* doc/guix.texi (Invoking guix system): Update `guix system search console
font' example output.
---
doc/guix.texi | 20 +++++++++++++++-----
gnu/services/base.scm | 6 +++++-
2 files changed, 20 insertions(+), 6 deletions(-)
diff --git a/doc/guix.texi b/doc/guix.texi
index 02cecae043..298b9a531c 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -25980,17 +25980,27 @@ supported:
Display available service type definitions that match the given regular
expressions, sorted by relevance:
+@cindex HDPI
+@cindex resolution
@example
$ guix system search console font
name: console-fonts
location: gnu/services/base.scm:729:2
extends: shepherd-root
-description: Install the given fonts on the specified ttys (fonts are
-+ per virtual console on GNU/Linux). The value of this service is a list
-+ of tty/font pairs like:
+description: Install the given fonts on the specified ttys
++ (fonts are per virtual console on GNU/Linux). The value of this
++ service is a list of tty/font pairs. The font can be the name
++ of a font provided by the `kbd' package or any valid argument to
++ `setfont', as in this example:
+
-+ '(("tty1" . "LatGrkCyr-8x16"))
-relevance: 20
++ '(("tty1" . "LatGrkCyr-8x16")
++ ("tty2" . (file-append
++ font-tamzen
++ "/share/kbd/consolefonts/TamzenForPowerline10x20.psf"))
++ ("tty3" . (file-append
++ font-terminus
++ "/share/consolefonts/ter-132n"))) ; for HDPI
+relevance: 32
name: mingetty
location: gnu/services/base.scm:1048:2
diff --git a/gnu/services/base.scm b/gnu/services/base.scm
index b1eff89ecc..77215e411c 100644
--- a/gnu/services/base.scm
+++ b/gnu/services/base.scm
@@ -10,6 +10,7 @@
;;; Copyright © 2019 Efraim Flashner <efraim <at> flashner.co.il>
;;; Copyright © 2019 Tobias Geerinckx-Rice <me <at> tobias.gr>
;;; Copyright © 2019 John Soo <jsoo1 <at> asu.edu>
+;;; Copyright © 2019 Jan (janneke) Nieuwenhuizen <janneke <at> gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -818,7 +819,10 @@ package or any valid argument to @command{setfont}, as in this example:
'((\"tty1\" . \"LatGrkCyr-8x16\")
(\"tty2\" . (file-append
font-tamzen
- \"/share/kbd/consolefonts/TamzenForPowerline10x20.psf\")))
+ \"/share/kbd/consolefonts/TamzenForPowerline10x20.psf\"))
+ (\"tty3\" . (file-append
+ font-terminus
+ \"/share/consolefonts/ter-132n\"))) ; for HDPI
@end example\n")))
(define* (console-font-service tty #:optional (font "LatGrkCyr-8x16"))
--
2.24.0
[Message part 3 (text/plain, inline)]
--
Jan Nieuwenhuizen <janneke <at> gnu.org> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com
Information forwarded
to
guix-patches <at> gnu.org
:
bug#38810
; Package
guix-patches
.
(Mon, 30 Dec 2019 22:00:03 GMT)
Full text and
rfc822 format available.
Message #8 received at 38810 <at> debbugs.gnu.org (full text, mbox):
Hi!
Jan Nieuwenhuizen <janneke <at> 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 “guix search console”.
>>From 1b0d736405354c2c1aeb7aee00e63307d956ceae Mon Sep 17 00:00:00 2001
> From: Jan Nieuwenhuizen <janneke <at> 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 (terminus 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 “HDPI” or “HiDPI”? Wikipedia says both:
<https://en.wikipedia.org/wiki/Pixel_density#Named_pixel_densities>.
Perhaps add two cindex entries then?
Thanks!
Ludo’.
Reply sent
to
Jan Nieuwenhuizen <janneke <at> gnu.org>
:
You have taken responsibility.
(Mon, 30 Dec 2019 22:41:02 GMT)
Full text and
rfc822 format available.
Notification sent
to
Jan Nieuwenhuizen <janneke <at> gnu.org>
:
bug acknowledged by developer.
(Mon, 30 Dec 2019 22:41:02 GMT)
Full text and
rfc822 format available.
Message #13 received at 38810-done <at> debbugs.gnu.org (full text, mbox):
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
bug archived.
Request was from
Debbugs Internal Request <help-debbugs <at> gnu.org>
to
internal_control <at> debbugs.gnu.org
.
(Tue, 28 Jan 2020 12:24:04 GMT)
Full text and
rfc822 format available.
This bug report was last modified 4 years and 90 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.