changeset 254:2bc70f7910fa

Let's set a sane default for the container on ChromeOS
author Steve Huston <huston@srhuston.net>
date Wed, 27 Mar 2024 23:27:48 -0400
parents 282804a3a32b
children 9201de1a1642
files .bash_profile
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/.bash_profile	Wed Mar 27 18:39:22 2024 -0400
+++ b/.bash_profile	Wed Mar 27 23:27:48 2024 -0400
@@ -65,6 +65,13 @@
 fi
 hg status
 
+[[ $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.
+  ssh-agent bash
+  exit
+}
+
 [[ $HOST == cake && "`tty`" == "/dev/tty1" ]] && {
   # We're on the Raspberry Pi
   export SDL_NOMOUSE=1