> 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
> }
Advantage compared to previous version: more stable with
dpkg-query, it also saves a fork (no pipe).
The definition of a pipe BTW: a cylinder with two holes, and
the diameter of the holes cannot be bigger than that of the
cylinder...
--
underground experts united
http://user.it.uu.se/~embe8573
https://dataswamp.org/~incal
