Re: URL to source file

[Vincent Lefevre <vincent@vinc17.net>]

On 2021-01-27 12:02:53 +0100, Emanuel Berg wrote:
> > 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).

But dpkg-query will work only if the package is installed.

With zsh, you can avoid the pipe with zsh expansions:

  local ver=${${(M)${(f)"$(aptitude show $pack)"}:#Version:*}#* }

or with apt-cache (which is faster than aptitude):

  local ver=${${(M)${(f)"$(apt-cache show --no-all-versions $pack)"}:#Version:*}#* }

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)