From 843d434f539ae321bc5b8bf338c1ac72108bbcc3 Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Mon, 16 Jun 2008 15:06:19 +0200
Subject: [PATCH] fix ports and add diamond external

---
 .ssh/config.in | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.ssh/config.in b/.ssh/config.in
index 3e0b44d..79369b7 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -56,7 +56,7 @@ Host piper.oerlikon.madduck.net | piper
 #  AddressFamily inet
 Host pipere
   Hostname wall.madduck.net
-  Port 2222
+  Port 22223
   CheckHostIP no
   ForwardAgent yes
   ForwardX11 yes
@@ -67,6 +67,14 @@ Host diamond.oerlikon.madduck.net | diamond
   ForwardAgent yes
   ForwardX11 yes
 #  AddressFamily inet
+Host diamonde
+  Hostname wall.madduck.net
+  Port 22224
+  CheckHostIP no
+  ForwardAgent yes
+  ForwardX11 yes
+  HostKeyAlias diamond.oerlikon.madduck.net
+
 
 Host pict.oerlikon.madduck.net | pict
   Hostname pict.oerlikon.madduck.net
-- 
2.39.5