comparison .bash_profile @ 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 b00e6b403896
children 857bf32fbaab
comparison
equal deleted inserted replaced
253:282804a3a32b 254:2bc70f7910fa
63 if [ "`hg -q tip | sed 's/.*://'`" != "`hg -q id | sed 's/\+//'`" ] ; then 63 if [ "`hg -q tip | sed 's/.*://'`" != "`hg -q id | sed 's/\+//'`" ] ; then
64 echo Local repository contains updates. 64 echo Local repository contains updates.
65 fi 65 fi
66 hg status 66 hg status
67 67
68 [[ $HOST == penguin && -z "$SSH_AUTH_SOCK" ]] && {
69 # We're probably on a ChromeOS container with no ssh-agent running yet, so
70 # let's start one and exit when it ends.
71 ssh-agent bash
72 exit
73 }
74
68 [[ $HOST == cake && "`tty`" == "/dev/tty1" ]] && { 75 [[ $HOST == cake && "`tty`" == "/dev/tty1" ]] && {
69 # We're on the Raspberry Pi 76 # We're on the Raspberry Pi
70 export SDL_NOMOUSE=1 77 export SDL_NOMOUSE=1
71 if [ ! -e /dev/input/js0 ] ; then 78 if [ ! -e /dev/input/js0 ] ; then
72 # PS3 controller isn't paired yet 79 # PS3 controller isn't paired yet