diff options
author | Levente Polyak <anthraxx@archlinux.org> | 2022-08-31 02:00:28 +0200 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2022-08-31 02:26:47 +0200 |
commit | f4e8047d654254bbd3614ecaa448b41fa1f056d7 (patch) | |
tree | a1270817f598922c5f3a76d30a5108cc457fd7c6 /doc/man | |
parent | 70a3041ff8b1cb85f14dc565d225b3f5ffd8b1d8 (diff) | |
download | devtools-f4e8047d654254bbd3614ecaa448b41fa1f056d7.tar.xz |
diffpkg: prefer to search inside the pool dir if available
On certain packaging machines where the pacman cache gets updated very
infrequently, the behavior of diffpkg may not function correctly as old
packages were to be downloaded as diff target. In such cases we look for
a pool directory first and search via a glob for an available pool
package sorted by version.
The pool search glob has three glob segments each disallowing the dash
delimiter to split across pkgrel, pkgver and arch. This will return the
correct package from the pool without considering overly eager wildcards
that potentially match different pkgnames.
The default pool search directory is /srv/ftp/pool
Diffstat (limited to 'doc/man')
-rw-r--r-- | doc/man/diffpkg.1.asciidoc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/man/diffpkg.1.asciidoc b/doc/man/diffpkg.1.asciidoc index 69e0c27..bfb2094 100644 --- a/doc/man/diffpkg.1.asciidoc +++ b/doc/man/diffpkg.1.asciidoc @@ -21,7 +21,7 @@ When given one package, use it to diff against the locally built one. When given two packages, diff both packages against each other. In either case, a package name will be converted to a filename from the -cache, and diffpkg will proceed as though this filename was initially +cache or pool, and diffpkg will proceed as though this filename was initially specified. Options @@ -30,6 +30,10 @@ Options *-M, --makepkg-config*:: Set an alternate makepkg configuration file + +*-P, --pool*='DIR':: + Search diff target in pool dir (default `'/srv/ftp/pool'`) + *-v, --verbose*:: Provide more detailed/unfiltered output |