From fd458fbad63215d4bd1ec6d170d5dfdd9f10050c Mon Sep 17 00:00:00 2001 From: devhell Date: Mon, 30 Nov 2020 10:11:27 +0000 Subject: profiles/base: Add Nerd Font, remove others Nerd Fonts looks interesting and should replace most of the ones I already use. --- modules/user/devhell/profiles/base.nix | 13 +------------ 1 file changed, 1 insertion(+), 12 deletions(-) (limited to 'modules') diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix index 11fec531..e2017d3c 100644 --- a/modules/user/devhell/profiles/base.nix +++ b/modules/user/devhell/profiles/base.nix @@ -136,31 +136,20 @@ in { }; enableGhostscriptFonts = true; fonts = with pkgs; [ - cascadia-code clearlyU cm_unicode corefonts cozette - dejavu_fonts dosemu_fonts - fira-code font-awesome freefont_ttf google-fonts - hack-font - inconsolata junicode - powerline-fonts + nerdfonts proggyfonts siji - source-code-pro - source-sans-pro - source-serif-pro - terminus_font tewi-font tt2020 - ttf_bitstream_vera - ubuntu_font_family ultimate-oldschool-pc-font-pack unifont vistafonts -- cgit 1.4.1