From: martin f. krafft <madduck@madduck.net>
Date: Wed, 3 Aug 2011 06:45:37 +0000 (+0200)
Subject: fix port-forwarded external gern host config entries
X-Git-Url: https://git.madduck.net/etc/ssh.git/commitdiff_plain/4627bd39b7b57c35e326e750e49622ed1df2965d?hp=a3db3e8871508ddbdb04c679522fe359bd901e72

fix port-forwarded external gern host config entries
---

diff --git a/.ssh/config.in b/.ssh/config.in
index 181726d..5e609af 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -135,6 +135,13 @@ Host wall.gern.madduck.net | wall
 Host julia.gern.madduck.net | julia
   Hostname julia.gern.madduck.net
   ForwardAgent yes
+Host juliae
+  Hostname wall.gern.madduck.net
+  Port 22002
+  CheckHostIP no
+  ForwardAgent yes
+  ForwardX11 yes
+  HostKeyAlias julia.gern.madduck.net
 
 Host embryo.gauting.madduck.net | embryo
   CheckHostIP no
@@ -146,13 +153,6 @@ Host piper.gern.madduck.net | piper
   Hostname piper.gern.madduck.net
   ForwardAgent yes
   ForwardX11 yes
-Host pipere
-  Hostname wall.gern.madduck.net
-  Port 22223
-  CheckHostIP no
-  ForwardAgent yes
-  ForwardX11 yes
-  HostKeyAlias piper.gern.madduck.net
 
 Host albatross.gern.madduck.net | albatross
   Hostname albatross.gern.madduck.net
@@ -160,7 +160,7 @@ Host albatross.gern.madduck.net | albatross
   ForwardX11 yes
 Host albatrosse
   Hostname wall.gern.madduck.net
-  Port 22222
+  Port 22032
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes