# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1720987631 14400
# Node ID 1becad4fc13db1c1ef0277015f1a6cbf0357f862
# Parent  cf01bff1c687c369916652914e9b9305b7f7998c
IP changed

diff -r cf01bff1c687 -r 1becad4fc13d .ssh/config
--- a/.ssh/config	Tue Jul 09 23:41:44 2024 -0400
+++ b/.ssh/config	Sun Jul 14 16:07:11 2024 -0400
@@ -31,7 +31,7 @@
 
 # New joshua host on the N100
 Match host newjoshua exec "~/.ssh/athome"
-  HostName 192.168.7.252
+  HostName 192.168.7.241
 
 # Some "local" hosts, rather than configuring DNS or hosts files
 Match host milton exec "~/.ssh/athome"