comparison .bash_profile @ 251:b00e6b403896

Added airline-colour-splits and removed whitespace
author Steve Huston <huston@srhuston.net>
date Wed, 27 Mar 2024 16:31:21 -0400
parents 6e7913283c7a
children 2bc70f7910fa
comparison
equal deleted inserted replaced
250:5619e06b048e 251:b00e6b403896
59 # Meanwhile, local changes are not costly and don't require a trip down the 59 # Meanwhile, local changes are not costly and don't require a trip down the
60 # network, so we can afford to run them any time. Make sure there's nothing 60 # network, so we can afford to run them any time. Make sure there's nothing
61 # to pull from the local repository to the working directory and the working 61 # to pull from the local repository to the working directory and the working
62 # directory is clean. 62 # directory is clean.
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 == cake && "`tty`" == "/dev/tty1" ]] && { 68 [[ $HOST == cake && "`tty`" == "/dev/tty1" ]] && {
69 # We're on the Raspberry Pi 69 # We're on the Raspberry Pi