From f6fedcfeca7c89a52c4ef0766e769073cc896bc7 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 17 May 2017 15:14:34 +0200
Subject: conf/default.conf: accelerate check if dir is git repository

---
 conf/default.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'conf')

diff --git a/conf/default.conf b/conf/default.conf
index 8dac45a..0ab5ba4 100755
--- a/conf/default.conf
+++ b/conf/default.conf
@@ -47,7 +47,7 @@ for repo in "${!repo_paths[@]}"; do
 
   mkdir -p "${repo_paths["${repo}"]%/*}"
 
-  if ! git -C "${repo_paths["${repo}"]}" status &> /dev/null; then
+  if [ ! -d "${repo_paths["${repo}"]}/.git" ]; then
     if [ "${repo}" == "packages32" ]; then
       repo_source='git@github.com:archlinux32/packages.git'
     else
-- 
cgit v1.2.3-70-g09d2