# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1610134847 18000
# Node ID 283c952b04553bb1f7580de6bf2e51e25c36cfad
# Parent  a20525b2ef0087e73f4a3d35c6cd368c27757b3d
Adding some local (home) hosts

diff -r a20525b2ef00 -r 283c952b0455 .ssh/config
--- a/.ssh/config	Fri Jan 08 09:52:12 2021 -0500
+++ b/.ssh/config	Fri Jan 08 14:40:47 2021 -0500
@@ -21,6 +21,16 @@
 Match host joshua.srhuston.net exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19"
   HostName 192.168.7.49
 
+# Some "local" hosts, rather than configuring DNS or hosts files
+Match host milton exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19"
+  HostName 192.168.7.56
+
+Match host syrinx exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19"
+  HostName 192.168.7.109
+
+Match host aprs exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19"
+  HostName 192.168.7.57
+
 # Shared connection for xanadu, csesbh2, and joshua
 Host xanadu.astro.princeton.edu csesbh2.princeton.edu joshua.srhuston.net
   User huston