From 65311cba8ba57ebcdb291a30986f14cf07d8ef61 Mon Sep 17 00:00:00 2001
From: Christoph Hollizeck <christoph.hollizeck@hey.com>
Date: Tue, 17 Mar 2026 11:26:27 +0100
Subject: [PATCH 1/3] github-copilot-cli: temp fix

---
 modules/dev/gh.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/modules/dev/gh.nix b/modules/dev/gh.nix
index 4eb7140..b4db2a0 100644
--- a/modules/dev/gh.nix
+++ b/modules/dev/gh.nix
@@ -3,7 +3,11 @@
     homeManager.dev =
       { pkgs, ... }:
       {
-        home.packages = [ pkgs.github-copilot-cli ];
+        home.packages = [
+          (pkgs.github-copilot-cli.overrideAttrs (oldAttrs: {
+            postInstall = "";
+          }))
+        ];
 
         programs = {
           gh-dash = {

From b3f559d866bd52727b6888be90086407c7a717d4 Mon Sep 17 00:00:00 2001
From: Christoph Hollizeck <christoph.hollizeck@hey.com>
Date: Tue, 17 Mar 2026 11:26:59 +0100
Subject: [PATCH 2/3] yggdrasil: change bootloader

---
 modules/hosts/yggdrasil/hardware.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/modules/hosts/yggdrasil/hardware.nix b/modules/hosts/yggdrasil/hardware.nix
index 8aab4b7..238a1fa 100644
--- a/modules/hosts/yggdrasil/hardware.nix
+++ b/modules/hosts/yggdrasil/hardware.nix
@@ -30,8 +30,10 @@
         kernelParams = [ "split_lock_detect=off" ];
 
         loader = {
-          systemd-boot.enable = true;
           efi.canTouchEfiVariables = true;
+          limine = {
+            enable = true;
+          };
         };
 
         initrd.availableKernelModules = [

From 8eb26ed5dca07fbb8553bf0f2408a62b0ef75b05 Mon Sep 17 00:00:00 2001
From: Christoph Hollizeck <christoph.hollizeck@hey.com>
Date: Tue, 17 Mar 2026 11:27:30 +0100
Subject: [PATCH 3/3] yggdrasil: add haskel compiler as calculator

---
 modules/hosts/yggdrasil/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/hosts/yggdrasil/default.nix b/modules/hosts/yggdrasil/default.nix
index 6cde537..5f468da 100644
--- a/modules/hosts/yggdrasil/default.nix
+++ b/modules/hosts/yggdrasil/default.nix
@@ -34,6 +34,7 @@ topLevel: {
         osu-lazer-bin
 
         piper
+        ghc # for maths
       ];
 
       services.ratbagd.enable = true;