> Oh, forgot the awk + grep trick :) Or even better, with dpkg-query(1)
file-url () { local debian=https://sources.debian.org/src local pack=$1 local ver=$(dpkg-query -f '${Version}\n' -W $pack) local file=$2 local url=$debian/$pack/$ver/$file echo $url } -- underground experts united http://user.it.uu.se/~embe8573 https://dataswamp.org/~incal