From f3b57546352b1fb096490b2c3d5bfe4975db674a Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 27 Jul 2017 12:18:12 +0200
Subject: conf/default.conf: use more robust method to determine if this is a
 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 c738fc8..03001f0 100755
--- a/conf/default.conf
+++ b/conf/default.conf
@@ -76,7 +76,7 @@ for repo in ${repo_names}; do
 
   mkdir -p "${repo_path%/*}"
 
-  if [ ! -d "${repo_path}/.git" ]; then
+  if ! git -C "${repo_path}" rev-parse --git-dir > /dev/null 2>&1; then
     if [ "${repo}" = "archlinux32" ]; then
       repo_source='git@github.com:archlinux32/packages.git'
     else
-- 
cgit v1.2.3