diff options
| author | Erich Eckner <git@eckner.net> | 2019-08-20 12:05:19 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-20 12:05:19 +0200 |
| commit | 17b037e17bac61949fa1ef03fec743a3e8424dec (patch) | |
| tree | a5768e1a0d4f04bef2dffc489be905a2274e43bd | |
| parent | abdb19a187d7c858ea24125e004bca01cbce88af (diff) | |
| download | builder-17b037e17bac61949fa1ef03fec743a3e8424dec.tar.xz | |
bin/nit-picker: ignore rsync errors - it simply means, our information is outdated
| -rwxr-xr-x | bin/nit-picker | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/bin/nit-picker b/bin/nit-picker index 66333db..562f239 100755 --- a/bin/nit-picker +++ b/bin/nit-picker @@ -200,9 +200,12 @@ while pgrep -x ii >/dev/null \ fi ;; 'binary-dependencies') - ${master_mirror_rsync_command} \ + if ! ${master_mirror_rsync_command} \ "${master_mirror_rsync_directory}/pool/${parameters}" \ - "${tmp_dir}/" + "${tmp_dir}/"; then + rm -f "${tmp_dir}/${parameters}" + continue + fi extract_dependencies_from_package \ "${tmp_dir}/${parameters}" \ > "${tmp_dir}/pkg-deps" @@ -260,10 +263,13 @@ while pgrep -x ii >/dev/null \ "${tmp_dir}/pkg-deps" ;; 'binary-signature') - ${master_mirror_rsync_command} \ + if ! ${master_mirror_rsync_command} \ "${master_mirror_rsync_directory}/pool/${parameters}" \ "${master_mirror_rsync_directory}/pool/${parameters}.sig" \ - "${tmp_dir}/" + "${tmp_dir}/"; then + rm -f "${tmp_dir}/${parameters}" "${tmp_dir}/${parameters}.sig" + continue + fi unset error_message if ! gpg_output=$( gpg --batch --status-fd 1 -q --homedir /etc/pacman.d/gnupg \ |