pkgs/data/fonts/powerline-fonts/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

{ stdenv, fetchFromGitHub }:

stdenv.mkDerivation {
  name = "powerline-fonts-2015-12-11";

  src = fetchFromGitHub {
    owner = "powerline";
    repo = "fonts";
    rev = "a44abd0e742ad6e7fd8d8bc4c3cad5155c9f3a92";
    sha256 = "1pwz83yh28yd8aj6fbyfz8z3q3v67psszpd9mp4vv0ms9w8b5ajn";
  };

  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

      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
    '';

  meta = with stdenv.lib; {
    homepage = https://github.com/powerline/fonts;
    description = "Patched fonts for Powerline users";
    longDescription = ''
      Pre-patched and adjusted fonts for usage with the Powerline plugin.
    '';
    license = with licenses; [ asl20 free ofl ];
    platforms = platforms.all;
    maintainers = with maintainers; [ malyn ];
  };
}