# HG changeset patch
# User Steve Huston <huston@srhuston.net>
# Date 1714001712 14400
# Node ID 857bf32fbaabf45f52fe60afc5a49a15ebb5b0b0
# Parent  33541d73d6d79009144ad9c61dd1db8e06d668dc
Be a little chatty about what's going on just so I know

diff -r 33541d73d6d7 -r 857bf32fbaab .bash_profile
--- a/.bash_profile	Wed Apr 24 16:53:52 2024 -0400
+++ b/.bash_profile	Wed Apr 24 19:35:12 2024 -0400
@@ -68,6 +68,7 @@
 [[ $HOST == penguin && -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"
   ssh-agent bash
   exit
 }