From d741f7f532c861943eb667632a4cdb2afb5fc216 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sat, 3 Dec 2022 14:32:08 +0100
Subject: Tidy up default ssh hosts

---
 home.nix | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/home.nix b/home.nix
index fc30e54..6d14d80 100644
--- a/home.nix
+++ b/home.nix
@@ -50,16 +50,6 @@
         hostname = "10.100.0.3";
         user = "common";
       };
-      "horst" = {
-        proxyCommand = "ssh majestix -W %h:%p";
-        hostname = "MVMITS177.mvm.kit.edu";
-        user = "urdzx";
-      };
-      "bwunicluster" = {
-        proxyCommand = "ssh majestix -W %h:%p";
-        hostname = "bwunicluster.scc.kit.edu";
-        user = "urdzx";
-      };
     };
   };
 
-- 
cgit v1.2.3