From b97b2b8cb990af70a7b2b1cc8bcca7e3e98620a2 Mon Sep 17 00:00:00 2001
From: jebba <root@localhost>
Date: Fri, 4 Feb 2022 16:30:04 -0700
Subject: [PATCH] port 22 or 8022

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 558a443..31d997f 100644
--- a/README.md
+++ b/README.md
@@ -55,14 +55,15 @@ DHCP logs on the DHCP server (e.g. router/firewall).
 
 
 On the laptop, set up `~/.ssh/config` thusly, using the device's IP from DHCP
-in place of example `192.168.1.100` below:
+in place of example `192.168.1.100` below. Either port `22` or port `8022`
+can be used, the device's SSH config has it listening on both:
 
 ```
 Host tici
 	User comma
 	Hostname 192.168.1.100
 	Identityfile ~/.ssh/key.pem
-	Port 8022
+	Port 22
 ```
 
 You need to get that SHARED ROOT SSH KEY from github to log into the account: