diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-23 22:07:00 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-23 22:07:00 +0200 |
| commit | 67ffb502ea0c2bbf36dbfc0c8dfcd065002aabd8 (patch) | |
| tree | 44ebe3ab863d236e052440f5ca72361316494971 /bin/db-update | |
| parent | 1061c920833a562e02584aa70e7c889a734139d8 (diff) | |
| download | builder-67ffb502ea0c2bbf36dbfc0c8dfcd065002aabd8.tar.xz | |
silence all other shellcheck warnings
Diffstat (limited to 'bin/db-update')
| -rwxr-xr-x | bin/db-update | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/db-update b/bin/db-update index 74bab79..1efc776 100755 --- a/bin/db-update +++ b/bin/db-update @@ -25,6 +25,7 @@ # use "builds" instead of assuming package builds only it's name +# shellcheck disable=SC2039 # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" @@ -275,6 +276,7 @@ move_packages() { while read -r repo; do + # shellcheck disable=SC2086 ${dummynator} ${master_mirror_rsync_command} \ "${tmp_dir}/${repo}/${repo}.db."* \ "${tmp_dir}/${repo}/${repo}.files."* \ |