diff options
author | devhell <devhell@mailfresser.de> | 2018-03-16 14:51:52 +0000 |
---|---|---|
committer | devhell <devhell@mailfresser.de> | 2018-03-16 14:51:52 +0000 |
commit | b4f96467dc3a3b7a7a3f928a6455e513b9350498 (patch) | |
tree | a95e06b64bb09bc69981a5b203c76bd3f2e7cfec /modules/user/devhell | |
parent | 60c83dd6ec71fae14d6d5154585af6be68a53b7e (diff) |
profiles/base: Add google-fonts and rename fa
I need some of the fonts in google-fonts and since font-awesome-ttf has been renamed to font-awesome_4, let's reflect that even if it is aliased.
Diffstat (limited to 'modules/user/devhell')
-rw-r--r-- | modules/user/devhell/profiles/base.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix index 6239751d..bd724f7e 100644 --- a/modules/user/devhell/profiles/base.nix +++ b/modules/user/devhell/profiles/base.nix @@ -95,8 +95,9 @@ in { corefonts dejavu_fonts dosemu_fonts - font-awesome-ttf + font-awesome_4 freefont_ttf + google-fonts hack-font inconsolata powerline-fonts |