switch to a new font
This commit is contained in:
parent
d2b2fa3fa5
commit
c3858068bd
1 changed files with 4 additions and 3 deletions
|
@ -246,9 +246,10 @@ in
|
||||||
echo "https://p.gen2.space/uploads/$fileid.$extension"
|
echo "https://p.gen2.space/uploads/$fileid.$extension"
|
||||||
'';
|
'';
|
||||||
|
|
||||||
fonts = {
|
fonts.favFont = {
|
||||||
favFont.name = "Hack Nerd Font Mono";
|
name = "Anonymice Nerd Font";
|
||||||
favFont.size = 10;
|
package = pkgs.nerdfonts.override { fonts = [ "AnonymousPro" ]; };
|
||||||
|
size = 11;
|
||||||
};
|
};
|
||||||
|
|
||||||
colors.baseColors = {
|
colors.baseColors = {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue