From: martin f. krafft <madduck@madduck.net>
Date: Tue, 26 Feb 2019 21:09:21 +0000 (+1300)
Subject: add ini host
X-Git-Url: https://git.madduck.net/etc/ssh.git/commitdiff_plain/2cb59c873c1807b0e89fbac9c561b3e3dc46e55f?hp=26c103b55c08dcc0d95148904e8e42324866f23f

add ini host
---

diff --git a/.ssh/config.in b/.ssh/config.in
index a33f1d3..3b5595e 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -215,6 +215,13 @@ Host fishbowl | fishbowl.rw.madduck.net
   HostKeyAlias fishbowl
   ProxyCommand bash -c "TARGETS=$( (TRIES=%h.{mtvic,lehel,gauting,rw}.madduck.net; eval fping -aAC1 -t500 $TRIES 2>&1 & eval fping6 -aAC1 -t500 $TRIES 2>&1; wait) | sed -rne 's, : ([[:digit:]]), @\1,p' | sort -t@ -k2n | sed -ne 's, .*,,p' | tr '\n' ','); echo Targets: \$TARGETS using \${TARGETS%%%%,*} … >&2; exec nc -vq0 \${TARGETS%%%%,*} %p"
 
+Host ini | ini.dyndns.madduck.net
+  CheckHostIP no
+  HostKeyAlias ini.dyndns.madduck.net
+  HostName ini.dyndns.madduck.net
+  Port 13579
+  User christine
+
 ### PHONES
 
 Host sgs7e | sgs7e.phones.*