Mercurial > index.cgi > dotfiles
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 ;; |