From b2c2b530b6ccdf72286ad1c31076745a7c00fcb5 Mon Sep 17 00:00:00 2001 From: Joel Grunbaum <joelgrun@gmail.com> Date: Thu, 15 Oct 2020 02:36:15 +0000 Subject: [PATCH] Dont match package version due to git packages --- main.sh | 13 ++++++++++++- 1 files changed, 12 insertions(+), 1 deletions(-) diff --git a/main.sh b/main.sh index ce058ff..dadd091 100755 --- a/main.sh +++ b/main.sh @@ -70,7 +70,8 @@ source PKGBUILD pkgs=() for i in ${pkgname[@]}; do - pkgs+=("$i-$pkgver-$pkgrel") + #pkgs+=("$i-$pkgver-$pkgrel") + pkgs++("$i") done #Move package to repodir and add to repo db @@ -116,6 +117,16 @@ done break else + if [[ -z "$(grep $1 $REPODIR/.waitlist)" ]]; then + # Not on waitlist for some reason, need to readd + if [[ $(cat $REPODIR/.waitlist.lck) == 1]]; then + sleep 1 + else + echo 1 > $REPODIR/.waitlist.lck + echo $1 >> $REPODIR/.waitlist + echo 0 > $REPODIR/.waitlist.lck + fi + fi sleep 10 fi done -- Gitblit v1.9.3