update robi machine

This commit is contained in:
Ingolf Wagner 2023-07-01 17:34:23 +02:00
parent 93560cdd74
commit 3cd5ab2f65
No known key found for this signature in database
GPG key ID: 76BF5F1928B9618B
6 changed files with 26 additions and 18 deletions
nixos/components/gui/home-manager

View file

@ -87,7 +87,7 @@ in
programs.alacritty = {
enable = true;
settings = {
font.size = lib.mkForce 7.0;
font.size = lib.mkForce 6.5;
};
};