#!/bin/sh

set -ue

. debian/scripts/plugin-functions.sh

if [ "$#" -ge 1 ]; then
	PLUGINS="$@"
else
	PLUGINS="$(get_plugins)"
fi

for plugin in $PLUGINS; do
	VERSION="$(get_plugin_field "$plugin" Version)"
	SOURCE="$(get_plugin_field "$plugin" Source)"
	echo "Downloading $plugin ($VERSION) from $SOURCE" >&2
	destfile="$(mktemp --tmpdir "$plugin-XXXXXX-${SOURCE##*/}")"
	wget -q -O "$destfile" "$SOURCE"
    mk-origtargz -C "${USCAN_DESTDIR:-..}" -c "$plugin" --rename "$destfile"
done
