diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-12-30 11:56:58 +0100 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-12-30 23:40:12 +0100 |
| commit | 022ad24c4177c9bc29c3a751db544bc12d0804f4 (patch) | |
| tree | c19e840d95ffbd25b7b1d1ff417fbf2a596cbc64 /gnu/services | |
| parent | 0e9c253313da7bdd72a6e712c75e366714ef23ff (diff) | |
| download | guix-patches-022ad24c4177c9bc29c3a751db544bc12d0804f4.tar guix-patches-022ad24c4177c9bc29c3a751db544bc12d0804f4.tar.gz | |
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 to `guix system search console'
example output.
Diffstat (limited to 'gnu/services')
| -rw-r--r-- | gnu/services/base.scm | 6 |
1 files changed, 5 insertions, 1 deletions
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@flashner.co.il> ;;; Copyright © 2019 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2019 John Soo <jsoo1@asu.edu> +;;; Copyright © 2019 Jan (janneke) Nieuwenhuizen <janneke@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")) |