X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/678592b0908de37f3e4832341a94ae44f5c96a0f..12654a21a91089a5e91c803a751348d5666972bc:/.ssh/config.in?ds=sidebyside

diff --git a/.ssh/config.in b/.ssh/config.in
index 6d9ae09..02ad65b 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -93,7 +93,7 @@ Host piper.oerlikon.madduck.net | piper
   ForwardX11 yes
 #  AddressFamily inet
 Host pipere
-  Hostname wall.madduck.net
+  Hostname wall.oerlikon.madduck.net
   Port 22223
   CheckHostIP no
   ForwardAgent yes
@@ -106,7 +106,7 @@ Host diamond.oerlikon.madduck.net | diamond
   ForwardX11 yes
 #  AddressFamily inet
 Host diamonde
-  Hostname wall.madduck.net
+  Hostname wall.oerlikon.madduck.net
   Port 22224
   CheckHostIP no
   ForwardAgent yes
@@ -175,6 +175,9 @@ Host git.debian.org
 Host hg.debian.org
   HostKeyAlias alioth.debian.org
   User madduck
+Host cvs.debian.org
+  HostKeyAlias alioth.debian.org
+  User madduck
 
 Host malo.debian.org | malo
   Hostname malo.debian.org
@@ -353,12 +356,8 @@ Host smetana.debian.org | smetana
 Host strauss.debian.net | strauss
   Hostname strauss.debian.net
   User madduck
-Host bellini.debian.net | bellini
-  Hostname bellini.debian.net
-  User madduck
-
-Host cvs.debian.org
-  HostKeyAlias gluck.debian.org
+Host bellini.debian.org | bellini
+  Hostname bellini.debian.org
   User madduck
 
 Host people.debian.org