Hello, l...@gnu.org (Ludovic Courtès) writes:
[...] > We can also fix this once and for all with this patch: > > diff --git a/gnu/services/xorg.scm b/gnu/services/xorg.scm > index 0da3397da..8f285b29a 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 > > > That adds 4.1 MiB, but it saves user headaches, so I think it’s worth it. > > I’ll go ahead and push that if there are no objections. And another bug down! :) Thanks for fixing it; LGTM! Maxim
