2019-05-13 02:55:32 +01:00
|
|
|
|
{ lib, fetchzip }:
|
2019-02-21 22:16:07 +00:00
|
|
|
|
|
|
|
|
|
fetchzip rec {
|
|
|
|
|
name = "undefined-medium-1.0";
|
|
|
|
|
|
2020-04-01 02:11:51 +01:00
|
|
|
|
url = "https://github.com/andirueckel/undefined-medium/archive/v1.0.zip";
|
2019-02-21 22:16:07 +00:00
|
|
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
|
mkdir -p $out/share/fonts
|
|
|
|
|
unzip -j $downloadedFile ${name}/fonts/otf/\*.otf -d $out/share/fonts/opentype
|
|
|
|
|
'';
|
|
|
|
|
|
2019-05-13 02:55:32 +01:00
|
|
|
|
sha256 = "1wa04jzbffshwcxm705yb5wja8wakn8j7fvim1mlih2z1sqw0njk";
|
2019-02-21 22:16:07 +00:00
|
|
|
|
|
2019-05-13 02:55:32 +01:00
|
|
|
|
meta = with lib; {
|
2020-04-01 02:11:51 +01:00
|
|
|
|
homepage = "https://undefined-medium.com/";
|
2019-02-21 22:16:07 +00:00
|
|
|
|
description = "A pixel grid-based monospace typeface";
|
|
|
|
|
longDescription = ''
|
|
|
|
|
undefined medium is a free and open-source pixel grid-based
|
|
|
|
|
monospace typeface suitable for programming, writing, and
|
|
|
|
|
whatever else you can think of … it’s pretty undefined.
|
|
|
|
|
'';
|
|
|
|
|
license = licenses.ofl;
|
|
|
|
|
platforms = platforms.all;
|
|
|
|
|
};
|
|
|
|
|
}
|