# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1740353574 18000
# Node ID a4bf322037a6997dc262d9705b4ad6f8bf26dbe2
# Parent  9061f10fcd5a0f58392520d69078da801ca8998b
New IP for the PDP-11/70 emulation rPi

diff -r 9061f10fcd5a -r a4bf322037a6 .ssh/config
--- a/.ssh/config	Tue Jan 14 10:08:04 2025 -0500
+++ b/.ssh/config	Sun Feb 23 18:32:54 2025 -0500
@@ -48,6 +48,10 @@
   HostName 192.168.7.221
   User pi
 
+Match host pdp-11 exec "~/.ssh/athome"
+  HostName 192.168.7.217
+  User pi
+
 # Shared connection for xanadu, csesbh2, and joshua
 # Including w2zq too, though I don't usually want those to stick around -
 # they'll get canceled when the proxy use is finished