2022-01-18 09:32:55 +01:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
home.packages = with pkgs; [
|
|
|
|
(nerdfonts.override {
|
|
|
|
fonts = [
|
2023-07-29 20:58:15 +02:00
|
|
|
"Hack" # my default monospace font
|
|
|
|
"MPlus" # to display symbols on bars
|
2022-01-18 09:32:55 +01:00
|
|
|
];
|
|
|
|
})
|
2023-07-29 20:58:15 +02:00
|
|
|
inter # Inter is my default sans-serif font
|
|
|
|
libertinus # Libertinus Serif is my default serif font
|
2023-08-02 12:16:10 +02:00
|
|
|
emojione
|
2022-01-18 09:32:55 +01:00
|
|
|
];
|
2023-08-02 12:16:10 +02:00
|
|
|
fonts.fontconfig.enable = true;
|
2022-01-18 09:32:55 +01:00
|
|
|
}
|