[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: fontconfig: Add replacement with font-dejavu instead of
|
From: |
Leo Famulari |
|
Subject: |
Re: [PATCH] gnu: fontconfig: Add replacement with font-dejavu instead of gs-fonts. |
|
Date: |
Tue, 19 May 2020 11:50:20 -0400 |
On Sun, May 17, 2020 at 04:50:12PM +0200, Marius Bakke wrote:
> This is a hack to make (some) fonts working when users don't have fonts
> specified in their system configuration, and (crucially) places where
> the fontconfig cache may be unavailable such as 'guix pack's.
>
> I'm not sure whether font-dejavu is a good replacement here. Another
> approach could be to convert gs-fonts to TrueType or OpenType format.
>
> Thoughts? I don't know much about fonts and would appreciate feedback.
I think you should push right away, assuming that it helps and doesn't
rebuild the world.
The gs-fonts are important for printing so we might need a real fix
later but for now a quick fix is the right thing.