mirrors_public/oddlama_nix-config
1
1
Fork 1
mirror of https://github.com/oddlama/nix-config.git synced 2025-10-11 07:10:39 +02:00
Code Activity

refactor: some formatting

Browse source
This commit is contained in:
oddlama 2023-09-21 13:34:44 +02:00
parent 7092a1d2ce
commit e65dac849a
No known key found for this signature in database
GPG key ID: 14EFE510775FE39A
3 changed files with 19 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

8
modules/optional/graphical/fonts.nix
View file

@ -31,14 +31,16 @@
</fontconfig> </fontconfig>
''; '';
defaultFonts = { defaultFonts = {
sansSerif = lib.mkBefore ["Segoe UI"];
monospace = ["FiraCode Nerd Font"];
emoji = ["Segoe UI Emoji" "Noto Fonts Emoji"]; emoji = ["Segoe UI Emoji" "Noto Fonts Emoji"];
monospace = ["FiraCode Nerd Font"];
sansSerif = lib.mkBefore ["Segoe UI"];
serif = ["Source Serif Pro"];
}; };
}; };
packages = with pkgs; [ packages = with pkgs; [
(nerdfonts.override {fonts = ["FiraCode"];}) (nerdfonts.override {fonts = ["FiraCode" "FiraMono" "SourceCodePro" "JetBrainsMono"];})
dejavu_fonts
noto-fonts noto-fonts
noto-fonts-cjk-sans noto-fonts-cjk-sans
noto-fonts-cjk-serif noto-fonts-cjk-serif

10
users/modules/uid.nix
View file

@ -3,12 +3,10 @@
lib, lib,
... ...
}: { }: {
options = { options.home.uid = lib.mkOption {
home.uid = lib.mkOption { type = lib.types.int;
type = lib.types.int; example = 1000;
example = 1000; description = "The user's uid.";
description = "The user's uid.";
};
}; };
config = { config = {
assertions = [ assertions = [

20
users/myuser/graphical/kitty.nix
View file

@ -19,21 +19,21 @@
background = "#090a0c"; background = "#090a0c";
cursor = "#cccccc"; cursor = "#cccccc";
color0 = " #090a0c"; color0 = "#090a0c";
color8 = " #393e48"; color8 = "#393e48";
color1 = " #b2555d"; color1 = "#b2555d";
color9 = " #e06c75"; color9 = "#e06c75";
color2 = " #81a566"; color2 = "#81a566";
color10 = "#98c379"; color10 = "#98c379";
color3 = " #ccab6e"; color3 = "#ccab6e";
color11 = "#e6c17c"; color11 = "#e6c17c";
color4 = " #5395cc"; color4 = "#5395cc";
color12 = "#61afef"; color12 = "#61afef";
color5 = " #9378de"; color5 = "#9378de";
color13 = "#c678dd"; color13 = "#c678dd";
color6 = " #56b6c2"; color6 = "#56b6c2";
color14 = "#56b6c2"; color14 = "#56b6c2";
color7 = " #979eab"; color7 = "#979eab";
color15 = "#abb2bf"; color15 = "#abb2bf";
selection_foreground = "#282c34"; selection_foreground = "#282c34";