From 8d8afcd38e2d148b44684e666ce21a65a1ea0ca8 Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Wed, 27 Feb 2019 10:10:20 +1300
Subject: [PATCH] android ssh has a different username

---
 .ssh/config.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
 
-- 
2.39.5