giti: No output if no git repository

2022-06-16 10:53:03 +02:00 · 2022-06-16 10:53:03 +02:00 · cca7099db6
commit cca7099db6
parent 9f0c412449
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -30,6 +30,10 @@ else
    git_status="$(LANGUAGE='en_US.UTF-8 git' git status 2> /dev/null)"
    git_diff="$(git  status --porcelain 2> /dev/null)"
    #
+    if [ -z "$git_status" ]; then
+      # No GIT repository
+      exit
+    fi
    if [[ $SHORT ]]; then
      if [[ ! $git_status =~ "working tree clean" ]] && [[ ! $git_status =~ "working directory clean" ]]; then
        git_status_color="$COLOR_RED"