# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1601408609 14400
# Node ID e04f955ab31cac31a13c41819e20f6ab378130fd
# Parent  bb1c927125a5f8fd3de127c90b1de94899e2ea1a
Use xanadu for proxying usually, and setup a cancel command based on the one run

diff -r bb1c927125a5 -r e04f955ab31c .bash_aliases
--- a/.bash_aliases	Mon Sep 21 16:06:35 2020 -0400
+++ b/.bash_aliases	Tue Sep 29 15:43:29 2020 -0400
@@ -86,13 +86,15 @@
 
 # Proxying/tunneling - predominantly for my Mac laptop
 proxy() {
-  PROXY_HOST=${PROXY_HOST:-csesbh2.princeton.edu}
+  PROXY_HOST=${PROXY_HOST:-xanadu.astro.princeton.edu}
   PROXY_PORT=${PROXY_PORT:-8888}
   ssh -D $PROXY_PORT -f -C -q $PROXY_HOST 'sleep 15'
   /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" \
     --user-data-dir="/Users/huston/Library/Application Support/Google/Chrome/ProxiedProfile" &
+  history -s ssh -O cancel -D $PROXY_PORT $PROXY_HOST
+  echo Cancel command added to history
 }
 
 # Remote desktop/VNC