chore: freshen up with a new font

font: from jetbrainsmono to 0xproto, better style
This commit is contained in:
Zhongheng Liu 2025-05-29 19:07:11 +03:00
commit ca7192d41f
Signed by: steven
GPG key ID: 805A28B071DAD84B

View file

@ -28,6 +28,7 @@ in
desktopFont = { desktopFont = {
shortName = mkOption { type = str; }; shortName = mkOption { type = str; };
fullName = mkOption { type = str; }; fullName = mkOption { type = str; };
package = mkOption { type = package; };
}; };
}; };
@ -48,8 +49,9 @@ in
myConfigLocation = myConfigLocation =
"/home/${myUserName}/Development/Nix/nixos-configuration"; "/home/${myUserName}/Development/Nix/nixos-configuration";
desktopFont = { desktopFont = {
shortName = "0xProto Nerd Font";
fullName = "${desktopFont.shortName}:style=Regular"; fullName = "${desktopFont.shortName}:style=Regular";
shortName = "JetBrains Mono Nerd Font"; package = pkgs.nerd-fonts._0xproto;
}; };
myAutostartCommands = [ myAutostartCommands = [
"${pkgs.brightnessctl}/bin/brightnessctl s ${monitorMaxBrightness}" "${pkgs.brightnessctl}/bin/brightnessctl s ${monitorMaxBrightness}"