2019-05-13 02:55:32 +01:00
|
|
|
{ lib, fetchzip }:
|
2012-06-22 23:55:47 +01:00
|
|
|
|
2019-08-13 22:52:01 +01:00
|
|
|
fetchzip {
|
2015-10-25 18:11:53 +00:00
|
|
|
name = "ubuntu-font-family-0.83";
|
2012-06-22 23:55:47 +01:00
|
|
|
|
2019-05-13 02:55:32 +01:00
|
|
|
url = "https://assets.ubuntu.com/v1/fad7939b-ubuntu-font-family-0.83.zip";
|
2017-08-11 05:03:56 +01:00
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
mkdir -p $out/share/fonts
|
|
|
|
unzip -j $downloadedFile \*.ttf -d $out/share/fonts/ubuntu
|
|
|
|
'';
|
2012-06-22 23:55:47 +01:00
|
|
|
|
2017-08-11 05:03:56 +01:00
|
|
|
sha256 = "090y665h4kf2bi623532l6wiwkwnpd0xds0jr7560xwfwys1hiqh";
|
2012-06-22 23:55:47 +01:00
|
|
|
|
|
|
|
meta = {
|
2012-06-23 00:23:02 +01:00
|
|
|
description = "Ubuntu Font Family";
|
|
|
|
longDescription = "The Ubuntu typeface has been specially
|
|
|
|
created to complement the Ubuntu tone of voice. It has a
|
|
|
|
contemporary style and contains characteristics unique to
|
|
|
|
the Ubuntu brand that convey a precise, reliable and free attitude.";
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "http://font.ubuntu.com/";
|
2019-05-13 02:55:32 +01:00
|
|
|
license = lib.licenses.free;
|
|
|
|
platforms = lib.platforms.all;
|
|
|
|
maintainers = [ lib.maintainers.antono ];
|
2012-06-22 23:55:47 +01:00
|
|
|
};
|
|
|
|
}
|