From e243bba75d5540320c914fa077cc0bf5716dc5fa Mon Sep 17 00:00:00 2001
From: Erwin Boskma <erwin@datarift.nl>
Date: Sat, 19 Nov 2022 17:23:14 +0100
Subject: [PATCH] Add some servers to ssh config

---
 home-manager/modules/ssh/default.nix | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/home-manager/modules/ssh/default.nix b/home-manager/modules/ssh/default.nix
index b0c2cbc..1de120f 100644
--- a/home-manager/modules/ssh/default.nix
+++ b/home-manager/modules/ssh/default.nix
@@ -18,7 +18,7 @@ in
       hashKnownHosts = true;
       matchBlocks = {
         "*" = {
-          identityFile = personalKey;
+          identityFile = (if var.workSystem then horusKey else personalKey);
           identitiesOnly = true;
           extraOptions = {
             Ciphers = "chacha20-poly1305@openssh.com,aes256-gcm@openssh.com,aes128-gcm@openssh.com,aes256-ctr,aes192-ctr,aes128-ctr";
@@ -84,6 +84,17 @@ in
         "gitea.bedum.horus.nu" = {
           forwardAgent = true;
         };
+
+        monitoring = {
+          hostname = "monitoring.internal.horus.nu";
+          identityFile = horusKey;
+        };
+
+        buildserver2 = {
+          hostname = "buildserver2.bedum.horus.nu";
+          user = "horus";
+          identityFile = horusKey;
+        };
       };
     };
   };