# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1721057001 14400
# Node ID 09a1242050d3b5460fc371c628c57de5937d9101
# Parent  1becad4fc13db1c1ef0277015f1a6cbf0357f862
Moving to the new host today

diff -r 1becad4fc13d -r 09a1242050d3 .ssh/config
--- a/.ssh/config	Sun Jul 14 16:07:11 2024 -0400
+++ b/.ssh/config	Mon Jul 15 11:23:21 2024 -0400
@@ -27,11 +27,11 @@
 
 # But if we *are* home, convert joshua into its internal IP address
 Match host joshua.srhuston.net exec "~/.ssh/athome"
-  HostName 192.168.7.49
+  HostName 192.168.7.241
 
-# New joshua host on the N100
-Match host newjoshua exec "~/.ssh/athome"
-  HostName 192.168.7.241
+# Old joshua host (Lenovo)
+Match host oldjoshua exec "~/.ssh/athome"
+  HostName 192.168.7.49
 
 # Some "local" hosts, rather than configuring DNS or hosts files
 Match host milton exec "~/.ssh/athome"