aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--home.nix10
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";
- };
};
};