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.
