diff --git a/fetch.sh b/fetch.sh index 870289c03..7c72893b8 100755 --- a/fetch.sh +++ b/fetch.sh @@ -23,7 +23,7 @@ apt-get update -y mkdir -p ./output # -BIN_PACKAGE_NAME_LIST=$(apt showsrc "$PIKA_PACKAGE_NAME" | grep -E "^Binary:" | cut -d":" -f2- | sed 's/\,/\n/g' | sed 's/\ /\n/g' | sed '/^$/d') +BIN_PACKAGE_NAME_LIST=$(apt showsrc "$PIKA_PACKAGE_NAME" | grep -E "^Binary:" | cut -d":" -f2- | sed 's/\,/\n/g' | sed 's/\ /\n/g' | sed '/^$/d' | sort -u) for bin_pkg in $BIN_PACKAGE_NAME_LIST do BIN_VERSION=$(apt show $bin_pkg:$PIKA_BIN_ARCH 2>&1 | grep Version: | head -n1 | cut -f2- -d":" | cut -f2- -d":" | tr -d ' ')