diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-12-01 15:25:15 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-01 16:00:14 +0100 |
| commit | 4afc903a8c1b9cb19c0341b5cd2ea80a34974f25 (patch) | |
| tree | c72502f5ca138006aff7c3e7787f7fffa2354fbc | |
| parent | e261e27676c018f23fb6c6fdc282e2dd40fa1985 (diff) | |
services: xorg: Add 'font-misc-misc' to the default font set.
Fixes <https://bugs.gnu.org/24279>.
Reported by John Darrington <john@darrington.wattle.id.au>.
* gnu/services/xorg.scm (%default-xorg-fonts): Add FONT-MISC-MISC.
| -rw-r--r-- | gnu/services/xorg.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/services/xorg.scm b/gnu/services/xorg.scm index 0da3397da3..8f285b29a3 100644 --- a/gnu/services/xorg.scm +++ b/gnu/services/xorg.scm @@ -113,6 +113,8 @@ (file-append font-alias "/share/fonts/X11/100dpi") (file-append font-alias "/share/fonts/X11/misc") (file-append font-alias "/share/fonts/X11/cyrillic") + (file-append font-misc-misc ;default fonts for xterm + "/share/fonts/X11/misc") (file-append font-adobe75dpi "/share/fonts/X11/75dpi"))) (define* (xorg-configuration-file #:key |