Fetch Ubuntu mainline debs for a specific kernel version

fetch_ubuntu_mainline_debs.sh

#!/usr/bin/env bash

set -eu

VERSION="${1:-}"
ERSION="$(echo $VERSION | sed 's/[^0-9]*\([0-9rc.-]\+\)/\1/')"
URL="https://kernel.ubuntu.com/~kernel-ppa/mainline/v$ERSION"
CURL_OPTS=${CURL_OPTS:-""}

if [[ $# -ne 1 ]]; then
    echo "usage: $0 <kernel-version>" 1>&2
    echo 1>&2
    echo "Fetch the deb pkgs for mainline kernels from:" 1>&2
    echo "$URL" 1>&2
    exit 1
fi

DEBS=($(curl -s "$URL/" \
| grep "\(amd64\|all\).deb" \
| sed 's/.*[">]\([^">]*\(amd64\|all\).deb\).*/\1/g' \
| sort \
| uniq \
| grep -v lowlatency \
| sed 's,\(.*\),'$URL/'\1,g'))

if [ ${#DEBS[@]} -eq 0 ]; then
    echo "Invalid version v$ERSION. Is this version available? Check here:" 2>&1
    echo "$URL" 2>&1
    exit 1
fi
curl $CURL_OPTS $(for pkg in ${DEBS[@]}; do echo "-O $pkg"; done)

echo "Downloaded mainline Linux debs for v$ERSION:"
ls *$ERSION*deb