# HG changeset patch # User Steve Huston # Date 1613842172 18000 # Node ID 81d5d7484f31f5411ba3da561729379947b0b3aa # Parent 335b0fba60a81cda09b239eaa4fb198e93250482 Forgot to specify user for that one diff -r 335b0fba60a8 -r 81d5d7484f31 .ssh/config --- a/.ssh/config Wed Jan 27 11:25:35 2021 -0500 +++ b/.ssh/config Sat Feb 20 12:29:32 2021 -0500 @@ -30,6 +30,7 @@ Match host aprs exec "test `curl -s checkip.amazonaws.com` == 100.11.40.19" HostName 192.168.7.57 + User pi # Shared connection for xanadu, csesbh2, and joshua Host xanadu.astro.princeton.edu csesbh2.princeton.edu joshua.srhuston.net