...

1 files changed, 0 insertions, 19 deletions

diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 72bf6520..44b5fa63 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -174,25 +174,6 @@
       user = "uni2work";
       identityFile = "~/.ssh/letz";
     };
-  "git.odin" =
-    { hostname = "odin.asgard.yggdrasil";
-      user = "gitolite";
-    };
-  "notmuch.odin" =
-    { hostname = "odin.asgard.yggdrasil";
-      identityFile = "~/.ssh/notmuch.odin.asgard.yggdrasil";
-    };
-  "status.odin" =
-    { hostname = "odin.asgard.yggdrasil";
-      identityFile = "~/.ssh/status.odin.asgard.yggdrasil";
-      extraOptions.ControlPath = "~/.ssh/status-%r@%n:%p";
-    };
-  "moden" =
-    { hostname = "oristano.tcs.ifi.lmu.de";
-      user = "gkleen";
-      port = 30363;
-      identityFile = "~/.ssh/gkleen@oristano.tcs.ifi.lmu.de";
-    };
   "ubuntu1804" =
     { hostname = "192.168.122.30";
       identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil";