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