From 843d434f539ae321bc5b8bf338c1ac72108bbcc3 Mon Sep 17 00:00:00 2001 From: "martin f. krafft" Date: Mon, 16 Jun 2008 15:06:19 +0200 Subject: [PATCH 1/1] 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