commit 9b5147ee38de87ca2b6f57386bf799c990c92dea
parent 321fa96acc9dac435679cd4aaa8f9a1ec6d878ec
Author: GuyClicking <bpaul848@gmail.com>
Date: Sat, 24 Jul 2021 19:12:56 +1000
variable font size because of different monitor resolutions on pc and laptop
Diffstat:
2 files changed, 10 insertions(+), 1 deletion(-)
diff --git a/home/modules/terminal/alacritty.nix b/home/modules/terminal/alacritty.nix
@@ -22,6 +22,14 @@ in
description = "Font used";
};
+ fontSize = mkOption {
+ # Since it can be like 9.5 or something string
+ type = types.str;
+ default = "9";
+ example = "9.5";
+ description = "Font size as a string";
+ };
+
colours = {
bg = mkColourOption "bg" "#1d1f21";
fg = mkColourOption "fg" "#c5c8c6";
@@ -58,7 +66,7 @@ in
settings = {
font = {
- size = 9;
+ size = config.alacritty.fontSize;
normal = {
family = config.alacritty.font;
style = "Regular";
diff --git a/home/profiles/arch.nix b/home/profiles/arch.nix
@@ -15,6 +15,7 @@ in
alacritty = {
enable = true;
font = "Hack Nerd Font";
+ fontSize = "10";
};
programs.alacritty.package = pkgs.hello;
c.enable = true;