Commit fc11778d authored by Holger Levsen's avatar Holger Levsen
Browse files

r.d.n: manual scheduler: explain how many pkgs have (not) been scheduled

parent 7ce909d1
Loading
Loading
Loading
Loading
+7 −3
Original line number Diff line number Diff line
@@ -30,21 +30,25 @@ ARCH=$1
shift
PKGS=$@
SUCCESSES=""
s=0
FAILURES=""
f=0
for i in $PKGS ; do
	i=$(echo $i | tr -d 🍥 | tr -d ♻ | tr -d 💠)
	echo -n "Scheduling $i: "
	if env REBUILDERD_COOKIE_PATH=~/.local/share/rebuilderd-auth-cookie /opt/usr/bin/rebuildctl -H http://127.0.0.1:$PORT pkgs requeue --reset --distro debian --name $i ; then
		SUCCESSES="$SUCCESSES $i"
		let s+=1
		echo ok
	else
		FAILURES="$FAILURES $i"
		let f+=1
	fi
done
echo
if [ -z "$FAILURES" ] ; then
	echo All requested packages successfully scheduled on $ARCH.
	echo All $s requested packages successfully scheduled on $ARCH.
else
	echo Failed to schedule on $ARCH: $FAILURES
	echo Successfully scheduled on $ARCH: $SUCCESSES
	echo Failed to schedule $f packages on $ARCH: $FAILURES
	echo Successfully scheduled $s packages on $ARCH: $SUCCESSES
fi