blob: 3a2ae92c1e5a5262d0393e5a46960180c409104b (
plain) (
blame)
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
|
{ lib, fetchFromGitHub }:
fetchFromGitHub {
name = "powerline-fonts-2018-11-11";
owner = "powerline";
repo = "fonts";
rev = "e80e3eba9091dac0655a0a77472e10f53e754bb0";
postFetch = ''
tar xf $downloadedFile --strip=1
find . -name '*.otf' -exec install -Dt $out/share/fonts/opentype {} \;
find . -name '*.ttf' -exec install -Dt $out/share/fonts/truetype {} \;
find . -name '*.bdf' -exec install -Dt $out/share/fonts/bdf {} \;
find . -name '*.pcf.gz' -exec install -Dt $out/share/fonts/pcf {} \;
find . -name '*.psf.gz' -exec install -Dt $out/share/consolefonts {} \;
'';
sha256 = "0r8p4z3db17f5p8jr7sv80nglmjxhg83ncfvwg1dszldswr0dhvr";
meta = with 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 ];
};
}
|