diff options
| -rw-r--r-- | .zlogin | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -3,6 +3,17 @@ if [ -f $HOME/.zlogin.$(hostname) ]; then source $HOME/.zlogin.$(hostname) fi +# check to see if git repository has been updated +function () { + if command -v git >|/dev/null && git -C $HOME rev-parse >|/dev/null 2>&1 ; then + local local_head="$(git -C $HOME show-ref --hash --heads master)" + local origin_head="$(GIT_SSH_COMMAND="ssh -o BatchMode=yes -o ConnectTimeout=1" git -C $HOME ls-remote --heads origin master 2>|/dev/null | cut -f1)" + if [ "$local_head" != "$origin_head" ];then + print "$fg[blue]--= ${fg[red]}git repository differs from origin$fg[blue] =--$terminfo[sgr0]" + fi + fi +} + # set terminal to clear after logout. trap clear EXIT |
