diff options
| author | Peter Palfrader <peter@palfrader.org> | 2016-01-07 15:46:14 +0100 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2016-01-07 15:46:29 +0100 |
| commit | af9f47b92a7766c853d6cafb275a176c0789a144 (patch) | |
| tree | af500c79e62024741309b4f448626fbfd50d1416 | |
| parent | e59cfa5a9891e6d6a0461948971100ee245fb173 (diff) | |
exit if recv is empty
| -rwxr-xr-x | get-signers | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/get-signers b/get-signers index e9ea32f..fc13c54 100755 --- a/get-signers +++ b/get-signers @@ -45,6 +45,9 @@ while [ "$depth" -gt 0 ]; do touch "$tmpdir/$k" fi done + if [ -z "$recv" ] ; then + break + fi gpg --recv-keys $recv |