diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-19 06:36:22 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-19 06:36:22 +0200 |
| commit | 256133f131b90a91d4218912efbc0f39b02af3f3 (patch) | |
| tree | b547d5a043ddf45fd9da2c32a21b77a8c5b875d6 | |
| parent | 64b8b394c2ca74c804d3e84a12ed23fef31e1e4b (diff) | |
| download | builder-256133f131b90a91d4218912efbc0f39b02af3f3.tar.xz | |
bin/db-update: somewhat more verbose error message
| -rwxr-xr-x | bin/db-update | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/db-update b/bin/db-update index ed535de..0016436 100755 --- a/bin/db-update +++ b/bin/db-update @@ -118,7 +118,7 @@ move_packages() { from_ending='testing' to_ending='' else - >&2 printf 'move_packages: Cannot move package from "%s" to "%s".\n' "${from_repo}" "${to_repo}" + >&2 printf 'move_packages: Cannot move package "%s" from "%s" to "%s".\n' "${package}" "${from_repo}" "${to_repo}" exit 2 fi |