X-Git-Url: https://git.madduck.net/etc/ssh.git/blobdiff_plain/81ec628f2e02fbb04060b60e262e34d1815c47ec..cf0a3380b461ff4c46dbd2435818322b876cb42d:/.ssh/config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index fa00cee..e3b0b68 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -28,6 +28,10 @@ Host openvpn.madduck.net | openvpn
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
 
+Host khyber.madduck.net | khyber
+  ForwardAgent yes
+  Hostname khyber.madduck.net
+
 Host martin-krafft.net
   User madduck
   HostKeyAlias seamus.madduck.net
@@ -97,7 +101,6 @@ Host pict.oerlikon.madduck.net | pict
 #  AddressFamily inet
 
 Host lust.oerlikon.madduck.net | lust | hermia
-  Hostname rscguest.ex.ulcc.ac.uk
   AddressFamily inet
   HostKeyAlias hermia.mjollnir.org
   CheckHostIP no
@@ -145,9 +148,6 @@ Host hg.debian.org
   HostKeyAlias alioth.debian.org
   User madduck
 
-Host vore.debian.org | vore
-  Hostname vore.debian.org
-  User madduck
 Host malo.debian.org | malo
   Hostname malo.debian.org
   User madduck
@@ -163,9 +163,6 @@ Host saens.debian.org | saens
 Host spohr.debian.org | spohr
   Hostname spohr.debian.org
   User madduck
-Host auric.debian.org | auric
-  Hostname auric.debian.org
-  User madduck
 Host gluck.debian.org | gluck
   Hostname gluck.debian.org
   User madduck
@@ -178,12 +175,6 @@ Host sarti.debian.org | sarti
 Host europa.debian.org | europa
   Hostname europa.debian.org
   User madduck
-Host goedel.debian.org | goedel
-  Hostname goedel.debian.org
-  User madduck
-Host casals.debian.org | casals
-  Hostname casals.debian.org
-  User madduck
 Host master.debian.org | master
   Hostname master.debian.org
   User madduck
@@ -199,9 +190,6 @@ Host merkel.debian.org | merkel
 Host murphy.debian.org | murphy
   Hostname murphy.debian.org
   User madduck
-Host escher.debian.org | escher
-  Hostname escher.debian.org
-  User madduck
 Host raptor.debian.org | raptor
   Hostname raptor.debian.org
   User madduck
@@ -214,9 +202,6 @@ Host raff.debian.org | raff
 Host klecker.debian.org | klecker
   Hostname klecker.debian.org
   User madduck
-Host vaughan.debian.org | vaughan
-  Hostname vaughan.debian.org
-  User madduck
 Host voltaire.debian.org | voltaire
   Hostname voltaire.debian.org
   User madduck
@@ -226,9 +211,6 @@ Host bruckner.debian.org | bruckner
 Host kullervo.debian.org | kullervo
   Hostname kullervo.debian.org
   User madduck
-Host kullervo.debian.org | kullervo
-  Hostname kullervo.debian.org
-  User madduck
 Host samosa.debian.org | samosa
   Hostname samosa.debian.org
   User madduck
@@ -265,6 +247,9 @@ Host peri.debian.org | peri
 Host lobos.debian.org | lobos
   Hostname lobos.debian.org
   User madduck
+Host wagner.debian.org | wagner
+  Hostname wagner.debian.org
+  User madduck
 Host verdi.debian.org | verdi
   Hostname verdi.debian.org
   User madduck
@@ -274,6 +259,9 @@ Host ries.debian.org | ries
 Host goetz.debian.org | goetz
   Hostname goetz.debian.org
   User madduck
+Host ravel.debian.org | ravel
+  Hostname ravel.debian.org
+  User madduck
 Host rietz.debian.org | rietz
   Hostname rietz.debian.org
   User madduck
@@ -313,9 +301,32 @@ Host argento.debian.org | argento
 Host allegri.debian.org | allegri
   Hostname allegri.debian.org
   User madduck
-Host ravel.debian.org | ravel
-  Hostname ravel.debian.org
+Host morales.debian.org | morales
+  Hostname morales.debian.org
+  User madduck
+Host auber.debian.org | auber
+  Hostname auber.debian.org
+  User madduck
+Host mahler.debian.org | mahler
+  Hostname mahler.debian.org
+  User madduck
+Host schroeder.debian.org | schroeder
+  Hostname schroeder.debian.org
+  User madduck
+Host powell.debian.org | powell
+  Hostname powell.debian.org
+  User madduck
+Host rem.debian.org | rem
+  Hostname rem.debian.org
+  User madduck
+Host smetana.debian.org | smetana
+  Hostname smetana.debian.org
+  User madduck
+
+Host people.debian.org
+  Hostname people.debian.org
   User madduck
+  HostKeyAlias ravel.debian.org
 
 Host sergei.ifi.uzh.ch | sergei
   Hostname sergei.ifi.uzh.ch