From 8add47b7c917ce8ef7092cf8d84a04c1dcf009c2 Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.dev>
Date: Sun, 29 Dec 2024 02:25:25 +0000
Subject: [PATCH] Switch font to JetBrainsMono
---
nix/modules/home-manager/features/desktop/alacritty.nix | 7 ++-----
1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/nix/modules/home-manager/features/desktop/alacritty.nix b/nix/modules/home-manager/features/desktop/alacritty.nix
index d1489a3f..24ca5751 100644
--- a/nix/modules/home-manager/features/desktop/alacritty.nix
+++ b/nix/modules/home-manager/features/desktop/alacritty.nix
@@ -24,12 +24,9 @@ with lib;
};
font = {
- size = 16;
+ size = 15;
- bold.style = "Regular";
- bold_italic.style = "Regular";
- italic.style = "Regular";
- normal.family = "Terminus (TTF)";
+ normal.family = "JetBrainsMono Nerd Font ";
};
terminal.shell = {