fix gauting port forwards

[etc/ssh.git] / .ssh / config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 8b6f23fab89119ba9fdd34df443910260e9c6cf5..48571e7f0d2b863e81d9c0fab1b9361500b4751e 100644 (file)
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -27,6 +27,26 @@ Host openvpn.madduck.net | openvpn
   User madduck
   HostKeyAlias pulse.madduck.net
   #AddressFamily inet
+Host ssh443.madduck.net | ssh443
+  User madduck
+  HostKeyAlias pulse.madduck.net
+  ForwardAgent yes
+  Port 443
+Host backup.madduck.net | backup
+  HostKeyAlias pulse.madduck.net
+  #AddressFamily inet
+
+Host khyber.madduck.net | khyber
+  ForwardAgent yes
+  Hostname khyber.madduck.net
+
+Host lotus.madduck.net | lotus
+  ForwardAgent yes
+  Hostname lotus.madduck.net
+
+Host jugband.madduck.net | jugband
+  ForwardAgent yes
+  Hostname jugband.madduck.net
 
 Host martin-krafft.net
   User madduck
@@ -56,7 +76,10 @@ Host wall.oerlikon.madduck.net | wall
   CheckHostIP no
   ForwardAgent yes
   Hostname wall.oerlikon.madduck.net
-  HostKeyAlias wall.oerlikon.madduck.net
+
+Host vizier.oerlikon.madduck.net | vizier
+  Hostname vizier.oerlikon.madduck.net
+  ForwardAgent yes
 
 Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
@@ -96,18 +119,22 @@ Host pict.oerlikon.madduck.net | pict
   ForwardX11 yes
 #  AddressFamily inet
 
-Host lust.oerlikon.madduck.net | lust | hermia
-  Hostname rscguest.ex.ulcc.ac.uk
-  AddressFamily inet
-  HostKeyAlias hermia.mjollnir.org
+Host auge-fr.no-ip.org | auge
   CheckHostIP no
+  Hostname auge-fr.no-ip.org
+  HostKeyAlias helena.home.mjollnir.org
+
+Host hermia.home.mjollnir.org | hermia | lust.oerlikon.madduck.net | lust
+  CheckHostIP no
+  ForwardX11 yes
+  HostKeyAlias hermia.home.mjollnir.org
 
 Host mother.gauting.madduck.net | mother
   Hostname mother.gauting.madduck.net
   ForwardAgent yes
   ForwardX11 yes
 Host mothere
-  Hostname embryo.madduck.net
+  Hostname embryo.gauting.madduck.net
   Port 22221
   CheckHostIP no
   ForwardAgent yes
@@ -119,13 +146,17 @@ Host brick.gauting.madduck.net | brick
   ForwardAgent yes
   ForwardX11 yes
 Host bricke
-  Hostname embryo.madduck.net
+  Hostname embryo.gauting.madduck.net
   Port 22222
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
   HostKeyAlias brick.gauting.madduck.net
 
+Host zlinli.no-ip.org | zlinli
+  CheckHostIP no
+  Hostname zlinli.no-ip.org
+
 Host debian-community.org | bikeshed.debian-community.org | bikeshed
   Hostname bikeshed.debian-community.org
   User madduck
@@ -319,6 +350,17 @@ Host rem.debian.org | rem
 Host smetana.debian.org | smetana
   Hostname smetana.debian.org
   User madduck
+Host strauss.debian.net | strauss
+  Hostname strauss.debian.net
+  User madduck
+
+Host cvs.debian.org
+  HostKeyAlias gluck.debian.org
+  User madduck
+
+Host people.debian.org
+  HostKeyAlias ravel.debian.org
+  User madduck
 
 Host sergei.ifi.uzh.ch | sergei
   Hostname sergei.ifi.uzh.ch
@@ -331,6 +373,10 @@ Host gratis2.opro.ch | opro
   Hostname 193.242.105.2
   User madduck
 
+Host skynet.skynet.ie | skynet.ie | skynet
+  Hostname skynet.skynet.ie
+  User madduck
+
 Host *
 # AddressFamily any
 # BatchMode no