# HG changeset patch
# User Steve Huston <huston@astro.princeton.edu>
# Date 1577118079 18000
# Node ID 76f201ff5abcf4a20a8b3fbb8aa844052d5bf0ca
# Parent  43379ace60ccc4994acc0391ac8bf6bb3a7f0460
Start of changing proxying, possibly more to come later

diff -r 43379ace60cc -r 76f201ff5abc .bash_aliases
--- a/.bash_aliases	Wed Nov 13 15:36:53 2019 -0500
+++ b/.bash_aliases	Mon Dec 23 11:21:19 2019 -0500
@@ -84,8 +84,8 @@
 
 # Proxying/tunneling - predominantly for my Mac laptop
 proxy() {
-  PROXY_HOST=csesbh.princeton.edu
-  PROXY_PORT=8888
+  PROXY_HOST=${PROXY_HOST:-csesbh.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" \