diff .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
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"