comparison .bash_profile @ 272:105ff650452c

Renaming penguin -> sanctuary
author Steve Huston <huston@srhuston.net>
date Thu, 25 Apr 2024 15:54:08 -0400
parents 857bf32fbaab
children
comparison
equal deleted inserted replaced
271:e7e331a51f2c 272:105ff650452c
63 if [ "`hg -q tip | sed 's/.*://'`" != "`hg -q id | sed 's/\+//'`" ] ; then 63 if [ "`hg -q tip | sed 's/.*://'`" != "`hg -q id | sed 's/\+//'`" ] ; then
64 echo Local repository contains updates. 64 echo Local repository contains updates.
65 fi 65 fi
66 hg status 66 hg status
67 67
68 [[ $HOST == penguin && -z "$SSH_AUTH_SOCK" ]] && { 68 [[ $HOST == sanctuary && -z "$SSH_AUTH_SOCK" ]] && {
69 # We're probably on a ChromeOS container with no ssh-agent running yet, so 69 # We're probably on a ChromeOS container with no ssh-agent running yet, so
70 # let's start one and exit when it ends. 70 # let's start one and exit when it ends.
71 echo "Starting ssh-agent and a new shell" 71 echo "Starting ssh-agent and a new shell"
72 ssh-agent bash 72 ssh-agent bash
73 exit 73 exit