diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-17 15:14:34 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-17 15:14:34 +0200 |
| commit | f6fedcfeca7c89a52c4ef0766e769073cc896bc7 (patch) | |
| tree | 115b5e1f96d9086138565bc5b139461a50d87131 | |
| parent | b6c1333525127f78e6a6946fbd75cdb7dc4afed5 (diff) | |
| download | builder-f6fedcfeca7c89a52c4ef0766e769073cc896bc7.tar.xz | |
conf/default.conf: accelerate check if dir is git repository
| -rwxr-xr-x | conf/default.conf | 2 |
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 |