From ad2468f1b05b3913fc98ed11a8b8f47a54f24964 Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Wed, 29 Jul 2009 12:20:28 +0200
Subject: [PATCH 1/1] change wall hostname for external access to home pcs

---
 .ssh/config.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.ssh/config.in b/.ssh/config.in
index 2578a08..bf37a38 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
-- 
2.39.5