fi
if ! "$tool"/remote/gpg --list-keys -- "$uid" >/dev/null
then
- "$tool"/remote/gpg --batch --gen-key
+ "$tool"/remote/gpg --batch --gen-key <<-EOF
# DOC: http://git.gnupg.org/cgi-bin/gitweb.cgi?p=gnupg.git;a=blob_plain;f=doc/DETAILS;hb=refs/heads/STABLE-BRANCH-1-4
Key-Type: RSA
Key-Length: 4096