diff options
author | devhell <devhell@mailfresser.de> | 2020-11-30 10:11:27 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2020-11-30 10:11:27 +0000 |
commit | fd458fbad63215d4bd1ec6d170d5dfdd9f10050c (patch) | |
tree | 540ef91a38c0872e49be78cc42350b1f66ebf7c9 /modules/user | |
parent | c5a85a8a1b928602ae3e513d73a1f66d6a36960f (diff) |
profiles/base: Add Nerd Font, remove others
Nerd Fonts looks interesting and should replace most of the ones I already use.
Diffstat (limited to 'modules/user')
-rw-r--r-- | modules/user/devhell/profiles/base.nix | 13 |
1 files changed, 1 insertions, 12 deletions
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 |