Mercurial > index.cgi > dotfiles
comparison .ssh/config @ 283:09a1242050d3
Moving to the new host today
| author | Steve Huston <huston@srhuston.net> |
|---|---|
| date | Mon, 15 Jul 2024 11:23:21 -0400 |
| parents | 1becad4fc13d |
| children | ab94cd41d4fa |
comparison
equal
deleted
inserted
replaced
| 282:1becad4fc13d | 283:09a1242050d3 |
|---|---|
| 25 Match host joshua.srhuston.net exec "~/.ssh/onsubnet --not 128.112. && ~/.ssh/athome --not" | 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 "~/.ssh/athome" | 29 Match host joshua.srhuston.net exec "~/.ssh/athome" |
| 30 HostName 192.168.7.241 | |
| 31 | |
| 32 # Old joshua host (Lenovo) | |
| 33 Match host oldjoshua exec "~/.ssh/athome" | |
| 30 HostName 192.168.7.49 | 34 HostName 192.168.7.49 |
| 31 | |
| 32 # New joshua host on the N100 | |
| 33 Match host newjoshua exec "~/.ssh/athome" | |
| 34 HostName 192.168.7.241 | |
| 35 | 35 |
| 36 # Some "local" hosts, rather than configuring DNS or hosts files | 36 # Some "local" hosts, rather than configuring DNS or hosts files |
| 37 Match host milton exec "~/.ssh/athome" | 37 Match host milton exec "~/.ssh/athome" |
| 38 HostName 192.168.7.56 | 38 HostName 192.168.7.56 |
| 39 | 39 |
