bad
/
devos
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity

develop: add DejaVu Nerd Font

This commit is contained in:
Timothy DeHerrera 2019-12-22 21:59:42 -07:00
parent fc13190a29
commit 5921d56779
No known key found for this signature in database
GPG Key ID: 8985725DB5B0C122
2 changed files with 35 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/data/fonts/dejavu-nerdfont/default.nix Normal file
View File

@ -0,0 +1,21 @@
{ stdenv, fetchzip }:
stdenv.mkDerivation rec {
name = "dejavu-sans-mono-nerdfonts-${version}";
version = "2.0.0";
src = fetchzip {
url = "https://github.com/ryanoasis/nerd-fonts/releases/download/v${version}/DejaVuSansMono.zip";
hash = "sha256-yMvKzt5CKpK1bThT25lqSyRvZRCFvo6HHbTj+ripdCo=";
stripRoot = false;
};
buildCommand = ''
install --target $out/share/fonts/opentype -D $src/*Mono.ttf
'';
meta = with stdenv.lib; {
description = "Nerdfont version of DejaVu";
homepage = https://github.com/ryanoasis/nerd-fonts;
license = licenses.mit;
};
}

14
profiles/develop/default.nix
View File

@ -31,6 +31,20 @@
wget
];
fonts = {
fonts = [ pkgs.dejaVuNerdFont ];
fontconfig.defaultFonts.monospace = [
"DejaVu Sans Mono Nerd Font Complete Mono"
];
};
nixpkgs.overlays = let
font = self: super: {
dejaVuNerdFont = super.callPackage ../../pkgs/data/fonts/dejavu-nerdfont {};
};
in
[ font ];
documentation.dev.enable = true;
programs.thefuck.enable = true;