changeset 213:283c952b0455

Adding some local (home) hosts
author Steve Huston <huston@srhuston.net>
date Fri, 08 Jan 2021 14:40:47 -0500
parents a20525b2ef00
children effc1e0edb49
files .ssh/config
diffstat 1 files changed, 10 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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