Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/conf/default.conf
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-05-17 15:14:34 +0200
committerErich Eckner <git@eckner.net>2017-05-17 15:14:34 +0200
commitf6fedcfeca7c89a52c4ef0766e769073cc896bc7 (patch)
tree115b5e1f96d9086138565bc5b139461a50d87131 /conf/default.conf
parentb6c1333525127f78e6a6946fbd75cdb7dc4afed5 (diff)
conf/default.conf: accelerate check if dir is git repository
Diffstat (limited to 'conf/default.conf')
-rwxr-xr-xconf/default.conf2
1 files changed, 1 insertions, 1 deletions
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