# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1603459630 14400
# Node ID 7d3fe73995660f294fc7f0d5dafc0c5bbdd76fcb
# Parent  6bfec0d0d020f9fef6b605b52aa35890d4441863
SSH isn't working as I expected, but this seems to still do the trick

diff -r 6bfec0d0d020 -r 7d3fe7399566 .bash_aliases
--- a/.bash_aliases	Wed Sep 30 11:22:35 2020 -0400
+++ b/.bash_aliases	Fri Oct 23 09:27:10 2020 -0400
@@ -84,7 +84,7 @@
 proxy() {
   PROXY_HOST=${PROXY_HOST:-xanadu.astro.princeton.edu}
   PROXY_PORT=${PROXY_PORT:-8888}
-  ssh -D $PROXY_PORT -f -C -q $PROXY_HOST 'sleep 15'
+  ssh -D $PROXY_PORT -f -C -q $PROXY_HOST 'hostname'
   /Applications/Google\ Chrome.app/Contents/MacOS/Google\ Chrome \
     --proxy-server="socks5://127.0.0.1:$PROXY_PORT" \
     --host-resolver-rules="MAP * 0.0.0.0 , EXCLUDE localhost" \