{ "git.ymir" = { hostname = "ymir.yggdrasil.li"; user = "gitolite"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "git.yggdrasil.li" = { user = "gitolite"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "git.rheperire.org" = { user = "gitolite"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "borg.munin" = { hostname = "u120515.your-storagebox.de"; user = "u120515"; identityFile = "~/.ssh/borg.munin"; port = 23; }; "munin" = { hostname = "u120515.your-storagebox.de"; user = "u120515"; identityFile = "~/.ssh/munin"; }; "ymir" = { hostname = "ymir.yggdrasil.li"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "odin" = { hostname = "odin.asgard.yggdrasil"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "init.odin" = { hostname = "odin.asgard.yggdrasil"; user = "root"; identityFile = "~/.ssh/rsa.gkleen@hel.midgard.yggdrasil"; extraOptions = { StrictHostKeyChecking = "off"; }; }; "heimdallr" = { hostname = "heimdallr.asgard.yggdrasil"; user = "root"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "gitlab2.rz.ifi.lmu.de" = { user = "git"; identityFile = "~/.ssh/gkleen@gitlab2.rz.ifi.lmu.de"; }; "gitlab2.cip.ifi.lmu.de" = { user = "git"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "hel".hostname = "hel.midgard.yggdrasil"; "blackbeard" = { hostname = "blackbeard.tcs.ifi.lmu.de"; user = "pi"; identityFile = "~/.ssh/blackbeard"; }; "github.com" = { user = "git"; identityFile = "~/.ssh/gkleen@github.com"; }; "ullr.playat.ch" = { hostname = "ullr.playat.ch"; user = "minecraft"; identityFile = "~/.ssh/minecraft@ullr.playat.ch"; }; "ullr" = { hostname = "185.170.112.70"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "testworx" = { hostname = "testworx.tcs.ifi.lmu.de"; user = "root"; port = 30363; identityFile = "~/.ssh/testworx"; }; "remote.cip.ifi.lmu.de" = { user = "kleen"; identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; }; "uniworx3" = { hostname = "uniworx3.ifi.lmu.de"; user = "root"; identityFile = "~/.ssh/uni2work"; }; "uniworx4" = { hostname = "uniworx4.ifi.lmu.de"; user = "root"; identityFile = "~/.ssh/uni2work"; }; "uni2workgw" = { hostname = "uni2workgw.ifi.lmu.de"; user = "root"; identityFile = "~/.ssh/uni2work"; }; "uniworxdb2" = { hostname = "uniworxdb2"; proxyJump = "uniworx4"; user = "root"; identityFile = "~/.ssh/uni2work"; }; "uniworx5" = { hostname = "uniworx5.ifi.lmu.de"; user = "root"; identityFile = "~/.ssh/uni2work"; }; "gate2" = { hostname = "gate2.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/tcs"; serverAliveInterval = 0; }; "proxy.gate2" = { hostname = "gate2.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; dynamicForwards = [ { port = 8118; } ]; serverAliveInterval = 0; extraOptions = { ExitOnForwardFailure = "yes"; }; }; "jump.gate2" = { hostname = "gate2.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; serverAliveInterval = 0; extraOptions = { ExitOnForwardFailure = "yes"; }; }; "gate" = { hostname = "gate.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/tcs"; }; "proxy.gate" = { hostname = "gate.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; dynamicForwards = [ { port = 8118; } ]; extraOptions = { ExitOnForwardFailure = "yes"; }; }; "jump.gate" = { hostname = "gate.tcs.ifi.lmu.de"; user = "gkleen"; identityFile = "~/.ssh/proxy.gkleen@tcs.ifi.lmu.de"; extraOptions = { ExitOnForwardFailure = "yes"; }; }; "oregon" = { hostname = "oregon.tcs.ifi.lmu.de"; user = "root"; identityFile = "~/.ssh/tcs"; }; "proxy.oregon" = { hostname = "oregon.tcs.ifi.lmu.de"; user = "root"; identityFile = "~/.ssh/tcs"; dynamicForwards = [ { port = 8113; } ]; extraOptions = { ExitOnForwardFailure = "yes"; }; }; "witbank" = { hostname = "witbank.tcs.ifi.lmu.de"; 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"; forwardAgent = true; }; "gitlab.haskell.org" = { hostname = "gitlab.haskell.org"; identityFile = "~/.ssh/gkleen@gitlab.haskell.org"; }; "gitlab.lrz.de" = { hostname = "gitlab.lrz.de"; user = "git"; identityFile = "~/.ssh/gkleen@gitlab.lrz.de"; }; }