From 00a45faa303d9ffa7c26bdf0470808eedfe12084 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Av=C3=A9?= <email@thomasave.be>
Date: Sat, 4 Jul 2026 12:41:17 +0200
Subject: [PATCH] ssh remove old hosts

---
 home/ssh/default.nix | 42 ------------------------------------------
 1 file changed, 42 deletions(-)

diff --git a/home/ssh/default.nix b/home/ssh/default.nix
index 38820d8..21d30e9 100644
--- a/home/ssh/default.nix
+++ b/home/ssh/default.nix
@@ -25,48 +25,6 @@
         user = "server";
         forwardAgent = true;
       };
-      Kell = {
-        host = "Kell";
-        hostname = "kell.thomasave.be";
-        port = 22;
-        user = "user";
-        forwardAgent = true;
-      };
-      kell = {
-        host = "kell";
-        hostname = "kell.thomasave.be";
-        port = 22;
-        user = "user";
-        forwardAgent = true;
-      };
-      Riva = {
-        host = "Riva";
-        hostname = "riva.thomasave.be";
-        port = 22;
-        user = "user";
-        forwardAgent = true;
-      };
-      riva = {
-        host = "riva";
-        hostname = "riva.thomasave.be";
-        port = 22;
-        user = "user";
-        forwardAgent = true;
-      };
-      Arch = {
-        host = "Arch";
-        hostname = "arch.thomasave.be";
-        port = 22;
-        user = "user";
-        forwardAgent = true;
-      };
-      arch = {
-        host = "arch";
-        hostname = "arch.thomasave.be";
-        port = 22;
-        user = "user";
-        forwardAgent = true;
-      };
       Vault = {
         host = "Vault";
         hostname = "etienne.thomasave.be";