Mercurial > index.cgi > dotfiles
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 - |
