2012-06-23 00:55:47 +02:00
|
|
|
{ stdenv, fetchurl, unzip }:
|
|
|
|
|
|
2012-06-23 01:42:37 +02:00
|
|
|
stdenv.mkDerivation rec {
|
2012-06-23 00:55:47 +02:00
|
|
|
name = "ubuntu-font-family-0.80";
|
|
|
|
|
buildInputs = [unzip];
|
|
|
|
|
|
|
|
|
|
src = fetchurl {
|
2012-06-23 01:38:27 +02:00
|
|
|
url = "http://font.ubuntu.com/download/${name}.zip";
|
2012-06-23 01:36:46 +02:00
|
|
|
sha256 = "0k4f548riq23gmw4zhn30qqkcpaj4g2ab5rbc3lflfxwkc4p0w8h";
|
2012-06-23 00:55:47 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
installPhase =
|
|
|
|
|
''
|
|
|
|
|
mkdir -p $out/share/fonts/ubuntu
|
|
|
|
|
cp *.ttf $out/share/fonts/ubuntu
|
|
|
|
|
'';
|
|
|
|
|
|
|
|
|
|
meta = {
|
2012-06-23 01:23:02 +02: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.";
|
|
|
|
|
homepage = http://font.ubuntu.com/;
|
2012-06-23 01:40:04 +02:00
|
|
|
license = "free";
|
2012-06-23 01:23:02 +02:00
|
|
|
platforms = stdenv.lib.platforms.all;
|
|
|
|
|
maintainers = [ stdenv.lib.maintainers.antono ];
|
2012-06-23 00:55:47 +02:00
|
|
|
};
|
|
|
|
|
}
|
