diff options
| -rw-r--r-- | home.nix | 10 | 
1 files changed, 0 insertions, 10 deletions
| @@ -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"; -      };      };    }; | 
