blob: 9f42324e6d6d851d9531eb910b98cf0004d5506e (
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
32
33
34
35
36
37
|
{ stdenv, fetchzip}:
fetchzip {
name = "powerline-fonts-2017-05-25";
url = https://github.com/powerline/fonts/archive/fe396ef6f6b9b315f30af7d7229ff21f67a66e12.zip;
postFetch = ''
mkdir -p $out/share/fonts/opentype
unzip -j $downloadedFile '*.otf' -d $out/share/fonts/opentype
mkdir -p $out/share/fonts/truetype
unzip -j $downloadedFile '*.ttf' -d $out/share/fonts/truetype
mkdir -p $out/share/fonts/bdf
unzip -j $downloadedFile '*/BDF/*.bdf' -d $out/share/fonts/bdf
mkdir -p $out/share/fonts/pcf
unzip -j $downloadedFile '*/PCF/*.pcf.gz' -d $out/share/fonts/pcf
mkdir -p $out/share/fonts/psf
unzip -j $downloadedFile '*/PSF/*.psf.gz' -d $out/share/fonts/psf
'';
sha256 = "07yjbwri7nnnnynps86sz0dlivwqw7gfw045v63q969nab9dw388";
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 ];
};
}
|