diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-09 10:39:21 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-09 10:39:21 +0100 |
| commit | 60a2ebdb17b3c1f9813bb85c33b5203cbd92c272 (patch) | |
| tree | 3f7c99f0dad1a0e45effcea3a747239f19e6f112 /archPackagesUpdate | |
| parent | 4d891ec9f23e1c900d6faf4e07948a7bba44232a (diff) | |
| download | archlinuxewe.git.save-60a2ebdb17b3c1f9813bb85c33b5203cbd92c272.tar.xz | |
archPackagesUpdate: skip PKGBUILDpatch if requested
Diffstat (limited to 'archPackagesUpdate')
| -rwxr-xr-x | archPackagesUpdate | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/archPackagesUpdate b/archPackagesUpdate index 8c0bb3cb..6945399b 100755 --- a/archPackagesUpdate +++ b/archPackagesUpdate @@ -563,6 +563,11 @@ if ${aufRechenknecht}; then ' declare -f package | \' \ ' sed '"'"'$d'"'" for patch in "${tmpDir}/"*".PKGBUILDpatch"; do + patch_name="${patch##*/}" + patch_name="${patch_name%.*}" + if grep -qF "skip ${patch_name}" PKGBUILD; then + continue + fi printf ' cat "%s"\n' \ "${patch##*/}" done |