diff options
author | Erich Eckner <git@eckner.net> | 2017-06-22 16:43:40 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-22 16:43:40 +0200 |
commit | 0e13adff76c5ab655df3b9fb0dcd28b4df5083f5 (patch) | |
tree | 2e0922a2550b6776ca790545a68bbed234af6be3 /bin/db-update | |
parent | b46ff981026ec7541b23c131c0c77b984fd33cae (diff) | |
download | builder-0e13adff76c5ab655df3b9fb0dcd28b4df5083f5.tar.xz |
remove "grep ... part1*part2" bug
Diffstat (limited to 'bin/db-update')
-rwxr-xr-x | bin/db-update | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/bin/db-update b/bin/db-update index eaf0337..01db113 100755 --- a/bin/db-update +++ b/bin/db-update @@ -184,12 +184,13 @@ move_packages() { # add and remove the packages locally if grep -qxF "${repo}" "${tmp_dir}/"*".from_repo"; then + ${dummynator} repo-remove -q \ "${tmp_dir}/${repo}/${repo}.db.tar.gz" \ $( - grep -xF "${repo}" "${tmp_dir}/"*".from_repo" | \ + grep -lxF "${repo}" "${tmp_dir}/"*".from_repo" | \ sed ' - s|\.from_repo:[^:]\+$|.parts_names| + s|\.from_repo$|.parts_names| ' | \ xargs -rn1 cat ) @@ -199,9 +200,9 @@ move_packages() { ${dummynator} repo-add -q \ "${tmp_dir}/${repo}/${repo}.db.tar.gz" \ $( - grep -xF "${repo}" "${tmp_dir}/"*".to_repo" | \ + grep -lxF "${repo}" "${tmp_dir}/"*".to_repo" | \ sed ' - s|\.to_repo:[^:]\+$|| + s|\.to_repo$|| ' | \ while read -r package; do sed \ |