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 /contrib/completion/zsh/_devtools.in | |
| 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 'contrib/completion/zsh/_devtools.in')
| -rw-r--r-- | contrib/completion/zsh/_devtools.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/completion/zsh/_devtools.in b/contrib/completion/zsh/_devtools.in index b93e510..48d3dfd 100644 --- a/contrib/completion/zsh/_devtools.in +++ b/contrib/completion/zsh/_devtools.in @@ -52,6 +52,7 @@ _diffpkg_args=( '(-y --side-by-side)'{-y,--side-by-side}'[Output in two columns]' '--color=[Color output]:when:($_colors[*])' '(-W --width=)'{-W,--width=}'[Output at most NUM print columns]:num:(auto columns)' + '(-P --pool=)'{-P,--pool=}'[pool directory]:dir:_files -/' '(-v --verbose)'{-v,--verbose}'[Provide more detailed/unfiltered output]' '(-h --help)'{-h,--help}'[Display usage]' '*:packages:_devtools_completions_all_packages' |