diff options
| -rw-r--r-- | .zlogin | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ 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 + if [ "$local_head" != "$origin_head" -a -n "$origin_head" ];then print "$fg[blue]--= ${fg[red]}git repository differs from origin$fg[blue] =--$terminfo[sgr0]" fi fi |