diff options
author | Erich Eckner <git@eckner.net> | 2019-03-09 15:52:56 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-03-09 15:52:56 +0100 |
commit | 5060eb7d95cf13717f503a9d0199e7885b37955a (patch) | |
tree | cd6aaaa531fdf77a5171c6931c09ea153d4e7e28 /archPackagesUpdate | |
parent | fd4e1e2f60e7699cc62145a311a07d8353680d01 (diff) | |
download | archlinuxewe.git.save-5060eb7d95cf13717f503a9d0199e7885b37955a.tar.xz |
archPackagesUpdate: skip skipped PKGBUILDpatches
Diffstat (limited to 'archPackagesUpdate')
-rwxr-xr-x | archPackagesUpdate | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/archPackagesUpdate b/archPackagesUpdate index 706a4105..e3143a04 100755 --- a/archPackagesUpdate +++ b/archPackagesUpdate @@ -562,6 +562,13 @@ if ${aufRechenknecht}; then /^'"${function}"'() {$/,/^}$/ { /^}$/ {'"$( ls -1 "${tmpDir}/"*".PKGBUILDpatch" | \ + grep -vxF "$( + sed ' + s,^# skip \(\S\+\)\(\s\|$\).*$,'"${tmpDir}"'/\1.PKGBUILDpatch, + t + d + ' PKGBUILD + )" | \ sed 's/^/r /' )"' a } |