diff options
| author | Erich Eckner <git@eckner.net> | 2019-09-03 09:07:33 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-09-03 09:07:33 +0200 |
| commit | bab3c74b20e3b3de996630fd69d66cf0bf67bf61 (patch) | |
| tree | ed9079a3d42b37f345c1e208af429c547fedb6fc | |
| parent | 41adc0565ae4736af844194bd46f42e8ba3d740a (diff) | |
| download | devops-bab3c74b20e3b3de996630fd69d66cf0bf67bf61.tar.xz | |
scrub-for-gpg-keys: fix error message
| -rwxr-xr-x | scrub-for-gpg-keys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scrub-for-gpg-keys b/scrub-for-gpg-keys index d4d6f69..60a34e9 100755 --- a/scrub-for-gpg-keys +++ b/scrub-for-gpg-keys @@ -117,7 +117,7 @@ fi key=$(gpg -a --export "${key_id}" 2>/dev/null) fi if [ -z "${key}" ]; then - >&2 printf 'wish-list key "%s" is unknown\n' "${key_id}" + >&2 printf 'key "%s" is unknown\n' "${key_id}" continue fi printf '%s\n' "${key}" |