Monday, August 28, 2023

Re: [update] fonts/nerd-fonts

On 2023 Aug 29 (Tue) at 08:22:20 +0200 (+0200), Stefan Hagen wrote:
:Peter Hessler wrote (2023-08-29 08:08 CEST):
:> I just noticed that the distfiles for these fonts isn't versioned, which
:> is creating problems for the bulk build systems.
:>
:> Here's a simple patch that'll create ugly versioned filenames. (I
:> wasn't able to easily trick it into FONT-VER-SUFFIX order.)
:>
:> OK?
:
:Is there a benefit versioning the files instead of DIST_SUBDIR?
:

Yes, when you update the fonts then the distfile has a unique filename,
so it won't conflict with an older version of the font.

In my mind, DIST_SUBDIR is more for organization, rather than
versioning.

:Either way, OK sdk@
:

--
Why isn't there a special name for the tops of your feet?
-- Lily Tomlin

No comments:

Post a Comment