diff options
| -rwxr-xr-x | local/update-02-gpg | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/local/update-02-gpg b/local/update-02-gpg index 3740cb4..cb71081 100755 --- a/local/update-02-gpg +++ b/local/update-02-gpg @@ -162,7 +162,9 @@ while read -r r; do exit 1 fi - signst=$(git show -q --pretty=format:'%G?' "${r}") + signinfo=( $(git show -q --pretty=format:'%G?%n%GF' "${r}") ) + signst=${signinfo[0]} + signkey=${signinfo[1]} case ${VERIFY_SIGS} in gentoo-devs) # gentoo dev signatures must be Good @@ -178,11 +180,11 @@ while read -r r; do # error reporting case ${signst} in U) - echo "*** Untrusted signature on ${r}, refusing" + echo "*** Untrusted signature ${signkey} on ${r}, refusing" exit 1 ;; B) - echo "*** Bad signature on ${r}, refusing" + echo "*** Bad signature ${signkey} on ${r}, refusing" exit 1 ;; N) |