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 |