android ssh has a different username

[etc/ssh.git] / .ssh / config.in

diff --git a/.ssh/config.in b/.ssh/config.in
index 9eddf788cc224a1294a637fda600285d4a06c33e..9f6d9d81860450fb44ed3d4d34225438078f06bf 100644 (file)
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -196,6 +196,10 @@ Host jugband.mtvic.madduck.net | jugband.mtvic | jugband
   Hostname jugband.mtvic.madduck.net
   ForwardAgent yes
 
+Host lelina.mtvic.madduck.net | lelina.mtvic | lelina
+  ForwardX11 yes
+  ForwardAgent yes
+
 ### ROAD WARRIORS
 
 Host fishbowl.*
@@ -211,16 +215,23 @@ 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.*
   Port 2222
-  User admin
+  User shell
   HostName sgs7e.phones
 
 Host tethered-sgs7e
   Port 2222
-  User admin
+  User shell
   HostName 192.168.43.1
   HostKeyAlias sgs7e.phones