From 7c566dbe7643dbe68b8b6f56c477752120c53a46 Mon Sep 17 00:00:00 2001 From: Oliver Davies Date: Tue, 29 Aug 2023 21:49:11 +0100 Subject: [PATCH] chore(nixos): change font --- system/nixos/configuration.nix | 2 +- system/nixos/home-manager-desktop.nix | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/system/nixos/configuration.nix b/system/nixos/configuration.nix index 4338b15..7bb5d01 100644 --- a/system/nixos/configuration.nix +++ b/system/nixos/configuration.nix @@ -178,7 +178,7 @@ in fontconfig = { enable = true; defaultFonts = { - monospace = [ "Fira Code Nerd Font Mono" ]; + monospace = [ "JetBrainsMono Nerd Font Mono" ]; }; }; fonts = with pkgs; [ diff --git a/system/nixos/home-manager-desktop.nix b/system/nixos/home-manager-desktop.nix index a0cbbb3..30da78c 100644 --- a/system/nixos/home-manager-desktop.nix +++ b/system/nixos/home-manager-desktop.nix @@ -67,7 +67,7 @@ }; fonts = { - names = [ "Fira Code Nerd Font Mono" ]; + names = [ "JetBrainsMono Nerd Font Mono" ]; size = 16.0; }; @@ -230,7 +230,7 @@ bold.style = "Regular"; bolditalic.style = "Regular"; italic.style = "Regular"; - normal.family = "Fira Code Nerd Font Mono"; + normal.family = "JetBrainsMono Nerd Font Mono"; offset.y = 14; glyph_offset.y = 8;