diff .bash_aliases @ 305:63cdefeef173 default tip

Gallifrey has fallen
author Steve Huston <huston@princeton.edu>
date Fri, 02 May 2025 16:29:42 -0400
parents d29c29690818
children
line wrap: on
line diff
--- 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"