Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/conf
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-07-27 12:18:12 +0200
committerErich Eckner <git@eckner.net>2017-07-27 12:18:12 +0200
commitf3b57546352b1fb096490b2c3d5bfe4975db674a (patch)
tree58150aeb44741829f71a57c10c4fd6e0e820c8a2 /conf
parent86c02c515d50c54c52539a31cc7134baae2737e7 (diff)
conf/default.conf: use more robust method to determine if this is a git repository
Diffstat (limited to 'conf')
-rwxr-xr-xconf/default.conf2
1 files changed, 1 insertions, 1 deletions
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