From: martin f. krafft <madduck@madduck.net>
Date: Tue, 26 Feb 2019 21:10:20 +0000 (+1300)
Subject: android ssh has a different username
X-Git-Url: https://git.madduck.net/etc/ssh.git/commitdiff_plain/8d8afcd38e2d148b44684e666ce21a65a1ea0ca8

android ssh has a different username
---

diff --git a/.ssh/config.in b/.ssh/config.in
index 3b5595e..9f6d9d8 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -226,12 +226,12 @@ Host ini | ini.dyndns.madduck.net
 
 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