2015-04-21 05:18:40 +02:00
|
|
|
{ stdenv, fetchFromGitHub }:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2015-06-29 09:45:55 +02:00
|
|
|
name = "powerline-fonts-2015-06-29";
|
2015-04-21 05:18:40 +02:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "powerline";
|
|
|
|
repo = "fonts";
|
2015-06-29 09:45:55 +02:00
|
|
|
rev = "97dc451724fb24e1dd9892c988642b239b5dc67c";
|
|
|
|
sha256 = "1m0a8k916s74iv2k0kk36dz7d2hfb2zgf8m0b9hg71w4yd3bmj4w";
|
2015-04-21 05:18:40 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
buildPhase = "true";
|
|
|
|
|
|
|
|
installPhase =
|
|
|
|
''
|
|
|
|
mkdir -p $out/share/fonts/opentype
|
|
|
|
cp -v */*.otf $out/share/fonts/opentype
|
|
|
|
|
|
|
|
mkdir -p $out/share/fonts/truetype
|
|
|
|
cp -v */*.ttf $out/share/fonts/truetype
|
2016-01-14 22:51:54 +01:00
|
|
|
|
|
|
|
mkdir -p $out/share/fonts/bdf
|
|
|
|
cp -v */BDF/*.bdf $out/share/fonts/bdf
|
|
|
|
|
|
|
|
mkdir -p $out/share/fonts/pcf
|
|
|
|
cp -v */PCF/*.pcf.gz $out/share/fonts/pcf
|
|
|
|
|
|
|
|
mkdir -p $out/share/fonts/psf
|
|
|
|
cp -v */PSF/*.psf.gz $out/share/fonts/psf
|
2015-04-21 05:18:40 +02:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
homepage = https://github.com/powerline/fonts;
|
2015-04-30 17:05:14 +02:00
|
|
|
description = "Patched fonts for Powerline users";
|
2015-04-21 05:18:40 +02:00
|
|
|
longDescription = ''
|
|
|
|
Pre-patched and adjusted fonts for usage with the Powerline plugin.
|
|
|
|
'';
|
2015-05-27 21:56:04 +02:00
|
|
|
license = with licenses; [ asl20 free ofl ];
|
2015-04-21 05:18:40 +02:00
|
|
|
platforms = platforms.all;
|
|
|
|
maintainer = with maintainers; [ malyn ];
|
|
|
|
};
|
|
|
|
}
|