comparison .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
comparison
equal deleted inserted replaced
304:ce9014cb4240 305:63cdefeef173
177 # keep the shell open long enough for the proxy to be used, or maybe even 177 # keep the shell open long enough for the proxy to be used, or maybe even
178 # longer if you plan on disconnecting and reconnecting over time. 178 # longer if you plan on disconnecting and reconnecting over time.
179 PROXY_CMD=${PROXY_CMD:-hostname} 179 PROXY_CMD=${PROXY_CMD:-hostname}
180 case $1 in 180 case $1 in
181 home) 181 home)
182 if [ "$HOST" != "gallifrey" -a "$HOST" != "lumbergh" ] ; then 182 if [ "$HOST" != "lumbergh" ] ; then
183 echo "Not on gallifrey/lumbergh, no need for this" 183 echo "Not on lumbergh, no need for this"
184 return 184 return
185 fi 185 fi
186 PROXY_HOST=${PROXY_HOST:-joshua.srhuston.net} 186 PROXY_HOST=${PROXY_HOST:-joshua.srhuston.net}
187 PROXY_PORT=${PROXY_PORT:-8889} 187 PROXY_PORT=${PROXY_PORT:-8889}
188 PROXY_PATH="/Volumes/Chrome-Personal" 188 PROXY_PATH="/Volumes/Chrome-Personal"
196 fi 196 fi
197 ;; 197 ;;
198 work) 198 work)
199 PROXY_HOST=${PROXY_HOST:-xanadu.astro.princeton.edu} 199 PROXY_HOST=${PROXY_HOST:-xanadu.astro.princeton.edu}
200 PROXY_PORT=${PROXY_PORT:-8888} 200 PROXY_PORT=${PROXY_PORT:-8888}
201 if [ "$HOST" == "gallifrey" -o "$HOST" == "lumbergh" ] ; then 201 if [ "$HOST" == "lumbergh" ] ; then
202 PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome" 202 PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome"
203 else 203 else
204 PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome_Work" 204 PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome_Work"
205 fi 205 fi
206 ;; 206 ;;