diff options
author | mimadrid <mimadrid@ucm.es> | 2016-08-12 14:21:27 +0200 |
---|---|---|
committer | Rok Garbas <rok@garbas.si> | 2016-08-17 14:06:28 +0200 |
commit | 60c3f3f2b94626a505e51259130502d1d8ddaef3 (patch) | |
tree | 8ddc4d221aca65eb4c0bf764bdaa9677f3ff1641 /pkgs/data/fonts/nerdfonts | |
parent | 29572c28a39b6c1aec15fccf324cbb6d75228988 (diff) |
nerdfonts: 0.7.0 -> 0.8.0, fixes #17693
Diffstat (limited to 'pkgs/data/fonts/nerdfonts')
-rw-r--r-- | pkgs/data/fonts/nerdfonts/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/data/fonts/nerdfonts/default.nix b/pkgs/data/fonts/nerdfonts/default.nix index 1f8d17509f745..894325e5b7feb 100644 --- a/pkgs/data/fonts/nerdfonts/default.nix +++ b/pkgs/data/fonts/nerdfonts/default.nix @@ -1,13 +1,13 @@ -{ stdenv, fetchFromGitHub, bash, which }: +{ stdenv, fetchFromGitHub, bash, which, withFont ? "" }: stdenv.mkDerivation rec { - version = "0.7.0"; + version = "0.8.0"; name = "nerdfonts-${version}"; src = fetchFromGitHub { owner = "ryanoasis"; repo = "nerd-fonts"; rev = version; - sha256 = "0q2h8hpkbid8idi2kvzx5bnhyh65y51k02g7xpv3drjqj08cz7y0"; + sha256 = "0n7idfk4460j8g0rw73hzz195pdh4c916hpc5r6dxpvgcmvryzc5"; }; dontPatchShebangs = true; buildInputs = [ which ]; @@ -17,7 +17,7 @@ stdenv.mkDerivation rec { ''; installPhase = '' mkdir -p $out/share/fonts/truetype - ./install.sh + ./install.sh ${withFont} ''; meta = with stdenv.lib; { description = "Nerd Fonts is a project that attempts to patch as many developer targeted and/or used fonts as possible. The patch is to specifically add a high number of additional glyphs from popular 'iconic fonts' such as Font Awesome, Devicons, Octicons, and others."; |