summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAmir Saeid <amir@glgdgt.com>2026-03-08 20:43:19 +0000
committerAmir Saeid <amir@glgdgt.com>2026-03-08 20:43:19 +0000
commit257d3de79a731e11bba9ef810f0237c7988ad851 (patch)
treea6436fb7fc7de014d591fc4e01b4061004e1d6ce
parent88e51bf8ed704bfeff7b5e95e009a54b0a79ac9d (diff)
Remove alacritty from gheshki as it fails to start
failed to find suitable GL configuration Also force the font size to 8 as default 12 is too big
-rw-r--r--hosts/gheshki/home.nix3
-rw-r--r--hosts/mentat/home.nix1
-rw-r--r--modules/dev-tools.nix1
3 files changed, 4 insertions, 1 deletions
diff --git a/hosts/gheshki/home.nix b/hosts/gheshki/home.nix
index c02c1f8..cb5e76d 100644
--- a/hosts/gheshki/home.nix
+++ b/hosts/gheshki/home.nix
@@ -4,10 +4,13 @@
, unfreePkgs
, unstableUnfreePkgs
, userOptions
+, lib
, ...
}:
{
imports = [
../../modules/base.nix
];
+
+ programs.alacritty.settings.font.size = lib.mkForce 8;
}
diff --git a/hosts/mentat/home.nix b/hosts/mentat/home.nix
index 3351cbe..eb87acb 100644
--- a/hosts/mentat/home.nix
+++ b/hosts/mentat/home.nix
@@ -16,6 +16,7 @@
];
home.packages = [
+ pkgs.alacritty
pkgs.stats
];
}
diff --git a/modules/dev-tools.nix b/modules/dev-tools.nix
index 3c0643b..373f954 100644
--- a/modules/dev-tools.nix
+++ b/modules/dev-tools.nix
@@ -7,7 +7,6 @@
}:
{
home.packages = with pkgs; [
- alacritty
coursier
curl
cvc4