Mercurial > index.cgi > dotfiles
changeset 272:105ff650452c
Renaming penguin -> sanctuary
author | Steve Huston <huston@srhuston.net> |
---|---|
date | Thu, 25 Apr 2024 15:54:08 -0400 |
parents | e7e331a51f2c |
children | 61b830d34016 |
files | .bash_profile .hgrc.d/penguin.rc .hgrc.d/sanctuary.rc |
diffstat | 3 files changed, 3 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- a/.bash_profile Thu Apr 25 13:59:42 2024 -0400 +++ b/.bash_profile Thu Apr 25 15:54:08 2024 -0400 @@ -65,7 +65,7 @@ fi hg status -[[ $HOST == penguin && -z "$SSH_AUTH_SOCK" ]] && { +[[ $HOST == sanctuary && -z "$SSH_AUTH_SOCK" ]] && { # We're probably on a ChromeOS container with no ssh-agent running yet, so # let's start one and exit when it ends. echo "Starting ssh-agent and a new shell"