# HG changeset patch # User Steve Huston # Date 1711596468 14400 # Node ID 2bc70f7910faf5223c948139b28a5bc155262e01 # Parent 282804a3a32b317aaa5a70085e97b2a23d30fd59 Let's set a sane default for the container on ChromeOS diff -r 282804a3a32b -r 2bc70f7910fa .bash_profile --- 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