# HG changeset patch
# User Steve Huston <huston@astro.princeton.edu>
# Date 1606233574 18000
# Node ID f163a6073c48998ae50ed5d681bcd5b2b961cc14
# Parent  8206a14c8c624a789be00446b1271bcf61c66ce3
Merge shared connections into one; add proxyjump for home and a couple other nice options

diff -r 8206a14c8c62 -r f163a6073c48 .ssh/config
--- a/.ssh/config	Tue Nov 24 08:59:19 2020 -0500
+++ b/.ssh/config	Tue Nov 24 10:59:34 2020 -0500
@@ -1,23 +1,28 @@
+# Host-specific things at the top, and get less specific as you go; first
+# match wins
+
 # Turn things off for floyd - it doesn't need them
 Host floyd-mgmt floyd-mgmt.astro.internal
   ForwardAgent no
   ForwardX11 no
   ForwardX11Trusted no
 
-# Let's try a proxy connection here
-Host xanadu.astro.princeton.edu
-  User huston
-  ControlMaster auto
-  ControlPersist yes
-  ControlPath ~/.ssh/sockets/%C
-  ServerAliveInterval 30
-  # This is the default, putting here to document
-  ServerAliveCountMax 3
-
+# If we're not on the Princeton wired network, csesbh2 should proxy through
+# xanadu
 Match host csesbh2.princeton.edu exec "~/.ssh/onsubnet --not 128.112."
   ProxyJump xanadu.astro.princeton.edu
 
-Host csesbh2.princeton.edu
+# If we're not on Princeton wired network, and not at home, then connections
+# to joshua should tunnel through xanadu
+Match host joshua.srhuston.net exec "~/.ssh/onsubnet --not 128.112. && [[ `curl -s checkip.amazonaws.com` != 100.11.40.19 ]]"
+  ProxyJump xanadu.astro.princeton.edu
+
+# But if we *are* home, convert joshua into its internal IP address
+Match host joshua.srhuston.net exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19"
+  HostName 192.168.7.49
+
+# Shared connection for xanadu, csesbh2, and joshua
+Host xanadu.astro.princeton.edu csesbh2.princeton.edu joshua.srhuston.net
   User huston
   ControlMaster auto
   ControlPersist yes