summaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authorLevente Polyak <anthraxx@archlinux.org>2022-08-31 02:00:28 +0200
committerLevente Polyak <anthraxx@archlinux.org>2022-08-31 02:26:47 +0200
commitf4e8047d654254bbd3614ecaa448b41fa1f056d7 (patch)
treea1270817f598922c5f3a76d30a5108cc457fd7c6 /doc/man
parent70a3041ff8b1cb85f14dc565d225b3f5ffd8b1d8 (diff)
downloaddevtools-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.asciidoc6
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