comparison .ssh/config @ 265:df0b24d4fabd

Think I'm ready to check this all in now; shared dotfiles that can be "sent" through an SSH connection to be used and cleaned up when finished.
author Steve Huston <huston@srhuston.net>
date Wed, 24 Apr 2024 16:15:40 -0400
parents bb69763716a7
children 5140712f8bd6
comparison
equal deleted inserted replaced
264:bb69763716a7 265:df0b24d4fabd
20 Match host csesbh2.princeton.edu exec "~/.ssh/onsubnet --not 128.112." 20 Match host csesbh2.princeton.edu exec "~/.ssh/onsubnet --not 128.112."
21 ProxyJump xanadu.astro.princeton.edu 21 ProxyJump xanadu.astro.princeton.edu
22 22
23 # If we're not on Princeton wired network, and not at home, then connections 23 # If we're not on Princeton wired network, and not at home, then connections
24 # to joshua should tunnel through xanadu 24 # to joshua should tunnel through xanadu
25 Match host joshua.srhuston.net exec "~/.ssh/onsubnet --not 128.112. && [[ `curl -s checkip.amazonaws.com` != 100.11.40.19 ]]" 25 Match host joshua.srhuston.net exec "~/.ssh/onsubnet --not 128.112. && ~/.ssh/athome --not"
26 ProxyJump xanadu.astro.princeton.edu 26 ProxyJump xanadu.astro.princeton.edu
27 27
28 # But if we *are* home, convert joshua into its internal IP address 28 # But if we *are* home, convert joshua into its internal IP address
29 Match host joshua.srhuston.net exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19" 29 Match host joshua.srhuston.net exec "~/.ssh/athome"
30 HostName 192.168.7.49 30 HostName 192.168.7.49
31 31
32 # Some "local" hosts, rather than configuring DNS or hosts files 32 # Some "local" hosts, rather than configuring DNS or hosts files
33 Match host milton exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19" 33 Match host milton exec "~/.ssh/athome"
34 HostName 192.168.7.56 34 HostName 192.168.7.56
35 35
36 Match host syrinx exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19" 36 Match host syrinx exec "~/.ssh/athome"
37 HostName 192.168.7.109 37 HostName 192.168.7.109
38 38
39 Match host aprs exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19" 39 Match host aprs exec "~/.ssh/athome"
40 HostName 192.168.7.57 40 HostName 192.168.7.57
41 User pi 41 User pi
42 42
43 # Shared connection for xanadu, csesbh2, and joshua 43 # Shared connection for xanadu, csesbh2, and joshua
44 # Including w2zq too, though I don't usually want those to stick around - 44 # Including w2zq too, though I don't usually want those to stick around -