From f6fedcfeca7c89a52c4ef0766e769073cc896bc7 Mon Sep 17 00:00:00 2001 From: Erich Eckner 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