Tidy up default ssh hosts

1 files changed, 0 insertions, 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";
-      };
     };
   };