diff options
author | Erich Eckner <git@eckner.net> | 2018-05-08 09:56:03 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-08 09:56:03 +0200 |
commit | 61b1a165073ef79ef588c8606f8bc94785e4db6d (patch) | |
tree | d3cc39e11aec71790c63f4a63cdc045cdc4669a5 /bin/repo-copy | |
parent | 936c9161dce0d01b0c47a406085c2e46e6d35040 (diff) | |
download | builder-61b1a165073ef79ef588c8606f8bc94785e4db6d.tar.xz |
lib/mysql-functions: mysql_package_name_query make table names customizable
Diffstat (limited to 'bin/repo-copy')
-rwxr-xr-x | bin/repo-copy | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/repo-copy b/bin/repo-copy index c3450fd..803cae3 100755 --- a/bin/repo-copy +++ b/bin/repo-copy @@ -9,6 +9,8 @@ # - no database signatures are handled # - only *.db.tar.gz and *.files.tar.gz are recognized as database +# shellcheck disable=SC2119,SC2120 + usage() { >&2 echo 'usage:' >&2 echo ' repo-copy from-repo.db.tar.gz to-repo.db.tar.gz package1 package2 ...' |