From ca7192d41f0aced816a32332289a35a2b7b3df1e Mon Sep 17 00:00:00 2001 From: Zhongheng Liu Date: Thu, 29 May 2025 19:07:11 +0300 Subject: [PATCH] chore: freshen up with a new font font: from jetbrainsmono to 0xproto, better style --- common/variables.nix | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/common/variables.nix b/common/variables.nix index 7ad651d..5137b06 100644 --- a/common/variables.nix +++ b/common/variables.nix @@ -28,6 +28,7 @@ in desktopFont = { shortName = mkOption { type = str; }; fullName = mkOption { type = str; }; + package = mkOption { type = package; }; }; }; @@ -48,8 +49,9 @@ in myConfigLocation = "/home/${myUserName}/Development/Nix/nixos-configuration"; desktopFont = { + shortName = "0xProto Nerd Font"; fullName = "${desktopFont.shortName}:style=Regular"; - shortName = "JetBrains Mono Nerd Font"; + package = pkgs.nerd-fonts._0xproto; }; myAutostartCommands = [ "${pkgs.brightnessctl}/bin/brightnessctl s ${monitorMaxBrightness}"