# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1714074848 14400
# Node ID 105ff650452ca892db0e789035efa344e4f5085b
# Parent  e7e331a51f2c7df4466d38e48cb337f661e7d070
Renaming penguin -> sanctuary

diff -r e7e331a51f2c -r 105ff650452c .bash_profile
--- 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"
diff -r e7e331a51f2c -r 105ff650452c .hgrc.d/penguin.rc
--- a/.hgrc.d/penguin.rc	Thu Apr 25 13:59:42 2024 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-[ui]
-username = Steve Huston <huston@srhuston.net>
diff -r e7e331a51f2c -r 105ff650452c .hgrc.d/sanctuary.rc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgrc.d/sanctuary.rc	Thu Apr 25 15:54:08 2024 -0400
@@ -0,0 +1,2 @@
+[ui]
+username = Steve Huston <huston@srhuston.net>