X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/a2cba0425ed071aea9dbff1319942a05326c1084..89c6b32ab471064a2d4a6690544489ab6649af41:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 1c02180..6996161 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -160,7 +160,7 @@ Host juliae
 Host fishbowl.gern.madduck.net | fishbowl.gern
   ForwardAgent yes
   ForwardX11 yes
-  HostKeyAlias fishbowl.gern
+  HostKeyAlias fishbowl
 
 Host galaxy-s2.phones.gern | galaxy-s2
   Hostname galaxy-s2.phones.gern
@@ -199,7 +199,7 @@ Host albatrosse
 Host fishbowl.lehel.madduck.net | fishbowl.lehel
   ForwardAgent yes
   ForwardX11 yes
-  HostKeyAlias fishbowl.lehel
+  HostKeyAlias fishbowl
 
 ### GAUTING
 
@@ -849,6 +849,10 @@ Host zemlinsky.debian.org | zemlinsky
   Hostname zemlinsky.debian.org
   User madduck
 
+Host nelson.debconf.org | penta.debconf.org | nelson | summit
+  Hostname nelson.debconf.org
+  ProxyCommand ssh people.debian.org nc -q0 %h %p
+
 ### NZ
 
 Host workbuffer.org | nz