GNU bug report logs - #38157
[PATCH] gnu: Add font-dseg.

Previous Next

Full log

View this message in rfc822 format

From: Alexandros Theodotou <alex <at> zrythm.org>
To: Tobias Geerinckx-Rice <me <at> tobias.gr>
Cc: 38157 <at> debbugs.gnu.org
Subject: [bug#38157] [PATCH] gnu: Add font-dseg.
Date: Sun, 10 Nov 2019 18:11:12 +0000

[Message part 1 (text/plain, inline)]

Hi Tobias,

> You could
> 
>     (apply string-append (string-split version #\.))
> or
> 
>     (string-join (string-split version #\.) "")
> 
> I think I prefer the STRING-APPEND version but both are fine.

Thank you for the pointer! Patch updated.

Just a general note that there are some additional WOFF fonts in the
zip, but I think those are only relevant for websites so I am only
installing the truetype fonts. 

I also tested and verified that Zrythm can now find the font.

[0001-gnu-Add-font-dseg.patch (text/x-patch, attachment)]

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.