diff options
| author | Volth <volth@webmaster.ms> | 2017-08-10 19:43:49 +0000 |
|---|---|---|
| committer | Volth <volth@webmaster.ms> | 2017-08-11 14:26:03 +0000 |
| commit | 31c344982f0c47af4d33cb5a37125deb1d767ef0 (patch) | |
| tree | 66227ecc2adcf14cc1a552364eb8940358199f5a /pkgs/data/fonts/powerline-fonts | |
| parent | 691da0cbb99c7b72480bc836b11cc296739edaee (diff) | |
| download | nixlib-31c344982f0c47af4d33cb5a37125deb1d767ef0.tar nixlib-31c344982f0c47af4d33cb5a37125deb1d767ef0.tar.gz nixlib-31c344982f0c47af4d33cb5a37125deb1d767ef0.tar.bz2 nixlib-31c344982f0c47af4d33cb5a37125deb1d767ef0.tar.lz nixlib-31c344982f0c47af4d33cb5a37125deb1d767ef0.tar.xz nixlib-31c344982f0c47af4d33cb5a37125deb1d767ef0.tar.zst nixlib-31c344982f0c47af4d33cb5a37125deb1d767ef0.zip | |
data/fonts: simpler cleanups
Diffstat (limited to 'pkgs/data/fonts/powerline-fonts')
| -rw-r--r-- | pkgs/data/fonts/powerline-fonts/default.nix | 27 |
1 files changed, 11 insertions, 16 deletions
diff --git a/pkgs/data/fonts/powerline-fonts/default.nix b/pkgs/data/fonts/powerline-fonts/default.nix index 3140be6d0352..9f42324e6d6d 100644 --- a/pkgs/data/fonts/powerline-fonts/default.nix +++ b/pkgs/data/fonts/powerline-fonts/default.nix @@ -1,34 +1,29 @@ -{ stdenv, fetchFromGitHub }: +{ stdenv, fetchzip}: -stdenv.mkDerivation { +fetchzip { name = "powerline-fonts-2017-05-25"; - src = fetchFromGitHub { - owner = "powerline"; - repo = "fonts"; - rev = "fe396ef6f6b9b315f30af7d7229ff21f67a66e12"; - sha256 = "1l72kf0zqdp52hbnphky5cl0a1p9fghldvq7ppbnnrhmcwvavprs"; - }; - - dontBuild = true; + url = https://github.com/powerline/fonts/archive/fe396ef6f6b9b315f30af7d7229ff21f67a66e12.zip; - installPhase = '' + postFetch = '' mkdir -p $out/share/fonts/opentype - cp -v */*.otf $out/share/fonts/opentype + unzip -j $downloadedFile '*.otf' -d $out/share/fonts/opentype mkdir -p $out/share/fonts/truetype - cp -v */*.ttf $out/share/fonts/truetype + unzip -j $downloadedFile '*.ttf' -d $out/share/fonts/truetype mkdir -p $out/share/fonts/bdf - cp -v */BDF/*.bdf $out/share/fonts/bdf + unzip -j $downloadedFile '*/BDF/*.bdf' -d $out/share/fonts/bdf mkdir -p $out/share/fonts/pcf - cp -v */PCF/*.pcf.gz $out/share/fonts/pcf + unzip -j $downloadedFile '*/PCF/*.pcf.gz' -d $out/share/fonts/pcf mkdir -p $out/share/fonts/psf - cp -v */PSF/*.psf.gz $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"; |