diff options
-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 } |