Update Riva font settings
This commit is contained in:
parent
e434548c90
commit
b33d135a1d
|
@ -8,6 +8,7 @@
|
||||||
programs.ssh.matchBlocks."*".identityFile = "/home/user/.secrets/SSH/Riva/id_ed25519";
|
programs.ssh.matchBlocks."*".identityFile = "/home/user/.secrets/SSH/Riva/id_ed25519";
|
||||||
|
|
||||||
home.packages = with pkgs; [
|
home.packages = with pkgs; [
|
||||||
|
distrobox
|
||||||
wl-clipboard
|
wl-clipboard
|
||||||
jq
|
jq
|
||||||
evince
|
evince
|
||||||
|
@ -27,5 +28,6 @@
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
programs.alacritty.settings.font.size = 13;
|
programs.alacritty.settings.font.size = 12;
|
||||||
|
programs.kitty.font.size = 12;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue