# HG changeset patch
# User Steve Huston <huston@princeton.edu>
# Date 1746217782 14400
# Node ID 63cdefeef173f4cc2b00fd5d53f2f98ebf82beaf
# Parent  ce9014cb4240c14f0a82b89407b8a20923ede4d3
Gallifrey has fallen

diff -r ce9014cb4240 -r 63cdefeef173 .bash_aliases
--- a/.bash_aliases	Fri May 02 16:28:10 2025 -0400
+++ b/.bash_aliases	Fri May 02 16:29:42 2025 -0400
@@ -179,8 +179,8 @@
   PROXY_CMD=${PROXY_CMD:-hostname}
   case $1 in
     home)
-      if [ "$HOST" != "gallifrey" -a "$HOST" != "lumbergh" ] ; then
-        echo "Not on gallifrey/lumbergh, no need for this"
+      if [ "$HOST" != "lumbergh" ] ; then
+        echo "Not on lumbergh, no need for this"
         return
       fi
       PROXY_HOST=${PROXY_HOST:-joshua.srhuston.net}
@@ -198,7 +198,7 @@
     work)
       PROXY_HOST=${PROXY_HOST:-xanadu.astro.princeton.edu}
       PROXY_PORT=${PROXY_PORT:-8888}
-      if [ "$HOST" == "gallifrey" -o "$HOST" == "lumbergh" ] ; then
+      if [ "$HOST" == "lumbergh" ] ; then
         PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome"
       else
         PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome_Work"